Contents

Transparent Request Tracing and Sampling Method for Java-based Microservice System HUANG Zi-Cheng, CHEN Peng-Fei, YU Guang-Ba, CHEN Hong-Yang Published July 06, 2023 (21 pages) 2023,34(7):3167-3187 [Abstract(1048)]  [View PDF(2395)8.66 M]

Malware Similarity Measurement Method Based on Multiplex Heterogeneous Graph GU Yong-Hao, WANG Yi-Fei, LIU Wei-Xin, WU Tie-Jun, MENG Guo-Zhu Published July 06, 2023 (18 pages) 2023,34(7):3188-3205 [Abstract(1235)]  [View PDF(3098)3.14 M]

Stable Learning via Sample Reweighting and Dual Classifiers YANG Shuai, WANG Hao, YU Kui, CAO Fu-Yuan Published July 06, 2023 (20 pages) 2023,34(7):3206-3225 [Abstract(758)]  [View PDF(2417)7.51 M]

Event Extraction Method Based on Dual Attention Mechanism ZHU Min, MAO Ying-Chi, CHENG Yong, CHEN Cheng-Jun, WANG Long-Bao Published July 06, 2023 (15 pages) 2023,34(7):3226-3240 [Abstract(1015)]  [View PDF(3212)7.72 M]

Optimization of Equivalence Query Algorithm in Active Automata Learning PAN Yan, ZHU Yue-Fei Published July 06, 2023 (15 pages) 2023,34(7):3241-3255 [Abstract(646)]  [View PDF(2278)5.55 M]

Heterogeneous Network Representation Learning Method Fusing Mutual Information and Multiple Meta-paths JIA Xiao-Sheng, ZHAO Zhong-Ying, LI Chao, LUAN Wen-Jing, LIANG Yong-Quan Published July 06, 2023 (16 pages) 2023,34(7):3256-3271 [Abstract(1118)]  [View PDF(3122)9.42 M]

Fog Computing-based Three-party Authentication and Key Agreement Protocol for Smart Healthcare WANG Fei-Fei, WANG Ding Published July 06, 2023 (20 pages) 2023,34(7):3272-3291 [Abstract(710)]  [View PDF(2443)5.02 M]

Supervised Identity Privacy Protection Scheme in Blockchain SONG Jing-Wen, ZHANG Da-Wei, HAN Xu, DU Ye Published July 06, 2023 (21 pages) 2023,34(7):3292-3312 [Abstract(1436)]  [View PDF(3165)8.75 M]

Enhancement of Textual Adversarial Attack Ability Based on Sememe-level Sentence Dilution Algorithm YE Wen-Tao, ZHANG Min, CHEN Yi-Xiang Published July 06, 2023 (16 pages) 2023,34(7):3313-3328 [Abstract(786)]  [View PDF(2392)7.00 M]

File Hierarchy CP-ABE Scheme Supporting Graded User Access LIU Shuai-Nan, LIU Bin, GUO Zhen, FENG Chao-Sheng, QIN Zhi-Guang, QING Yu Published July 06, 2023 (14 pages) 2023,34(7):3329-3342 [Abstract(777)]  [View PDF(2637)10.55 M]

Secure Intersection-sum Computation LI Shun-Dong, ZHANG Kai-Xin, YANG Chen, WANG Yu-Lin Published July 06, 2023 (11 pages) 2023,34(7):3343-3353 [Abstract(662)]  [View PDF(2130)5.55 M]

CCA Secure Broadcast Encryption Based on SM9 LAI Jian-Chang, HUANG Xin-Yi, HE De-Biao, NING Jian-Ting Published July 06, 2023 (11 pages) 2023,34(7):3354-3364 [Abstract(968)]  [View PDF(2797)6.00 M]

Deep Recommendation Model with Cross-domain Association and Privacy Protection WANG Li-E, LI Dong-Cheng, LI Xian-Xian Published July 06, 2023 (20 pages) 2023,34(7):3365-3384 [Abstract(857)]  [View PDF(2959)5.28 M]

Generative Multiple Adversarial Steganography Algorithm Based on U-Net Structure MA Bin, HAN Zuo-Wei, XU Jian, WANG Chun-Peng, LI Jian, WANG Yu-Li Published July 06, 2023 (23 pages) 2023,34(7):3385-3407 [Abstract(945)]  [View PDF(2694)10.20 M]

CNN Based Transformer for Panoptic Segmentation MAO Lin, REN Feng-Zhi, YANG Da-Wei, ZHANG Ru-Bo Published July 06, 2023 (14 pages) 2023,34(7):3408-3421 [Abstract(1405)]  [View PDF(3021)8.76 M]

Priority Ceiling Protocol Based on Avoidance Blocking CHEN Xi, QIAO Lei, YANG Meng-Fei, LIU Hong-Biao Published July 06, 2023 (16 pages) 2023,34(7):3422-3437 [Abstract(787)]  [View PDF(2335)11.36 M]

Label Enhancement Based Discrete Cross-modal Hashing Method WANG Yong-Xin, TIAN Jie-Ru, CHEN Zhen-Duo, LUO Xin, XU Xin-Shun Published July 06, 2023 (13 pages) 2023,34(7):3438-3450 [Abstract(690)]  [View PDF(2395)6.65 M]

Optimization of GEMM on SW1621 Processors YAN Hao, LIU Fang-Fang, MA Wen-Jing, CHEN Dao-Kun Published July 06, 2023 (13 pages) 2023,34(7):3451-3463 [Abstract(897)]  [View PDF(2904)7.02 M]

Special Issue's Articles

Preface DONG Yun-Wei, LIU Guan-Jun, MAO Xiao-Guang Published July 06, 2023 (2 pages) 2023,34(7):2979-2980 [Abstract(743)]  [View PDF(3097)530.35 K]

Safe Neural Network Controller Synthesis and Verification for Hybrid Systems ZHAO Qing-Ye, WANG Yu, LI Xuan-Dong Published July 06, 2023 (21 pages) 2023,34(7):2981-3001 [Abstract(1257)]  [View PDF(2928)2.37 M]

Modeling and Verification Method of Intersection Test Scenario for Automated Driving XIA Chun-Yan, HUANG Song, ZHENG Chang-You, ZHANG Qing-Rui, WANG Yu, WEI Yu-Hao Published July 06, 2023 (18 pages) 2023,34(7):3002-3021 [Abstract(1465)]  [View PDF(3534)3.49 M]

Automatic Parallelization Framework for Complex Nested Loops Based on LLVM Pass MA Chun-Yan, Lü Bing-Xu, YE Xu-Jiao, ZHANG Yu Published July 06, 2023 (21 pages) 2023,34(7):3022-3042 [Abstract(1197)]  [View PDF(3159)2.96 M]

Target-oriented UAF Vulnerability Prediction Method of Multi-threaded Programs LU Fa-Ming, TANG Meng-Fan, BAO Yun-Xia, ZENG Qing-Tian, LI Yan-Cheng Published July 06, 2023 (19 pages) 2023,34(7):3043-3063 [Abstract(1127)]  [View PDF(3069)2.33 M]

Model Checking Tool for Concurrent Program Based on Constrained Dependency Graph SU Jie, YANG Zu-Chao, TIAN Cong, DUAN Zhen-Hua Published July 06, 2023 (17 pages) 2023,34(7):3064-3079 [Abstract(1096)]  [View PDF(3490)2.37 M]

SMT-based Formal Verification of Synchronous Reactive Model for Zone Controller LI Teng-Fei, SUN Jun-Feng, Lü Xin-Jun, CHEN Xiang, LIU Jing, SUN Hai-Ying, HE Ji-Feng Published July 06, 2023 (19 pages) 2023,34(7):3080-3098 [Abstract(1110)]  [View PDF(2961)2.82 M]

Efficient Approach for Solving Simple Preference in AI Planning LU Xu, YU Bin, DUAN Zhen-Hua, WANG De-Kui, CHEN Chu, CUI Jin Published July 06, 2023 (18 pages) 2023,34(7):3099-3115 [Abstract(1033)]  [View PDF(3233)2.27 M]

Collaborative Verification Method of Uninterpreted Programs DU Yi-De, HONG Wei-Jiang, CHEN Zhen-Bang, WANG Ji Published July 06, 2023 (18 pages) 2023,34(7):3116-3133 [Abstract(687)]  [View PDF(2654)2.82 M]

Review Articles

Survey on Robustness Verification of Feedforward Neural Networks and Recurrent Neural Networks LIU Ying, YANG Peng-Fei, ZHANG Li-Jun, WU Zhi-Lin, FENG Yuan Published July 06, 2023 (35 pages) 2023,34(7):3134-3166 [Abstract(1580)]  [View PDF(4066)10.65 M]