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(1103)]  [View PDF(2558)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(1291)]  [View PDF(3274)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(784)]  [View PDF(2566)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(1074)]  [View PDF(3396)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(668)]  [View PDF(2413)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(1187)]  [View PDF(3289)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(766)]  [View PDF(2614)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(1650)]  [View PDF(3346)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(810)]  [View PDF(2556)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(837)]  [View PDF(2784)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(697)]  [View PDF(2259)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(1034)]  [View PDF(2996)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(936)]  [View PDF(3125)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(1027)]  [View PDF(2848)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(1479)]  [View PDF(3204)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(824)]  [View PDF(2474)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(731)]  [View PDF(2554)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(955)]  [View PDF(3085)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(781)]  [View PDF(3598)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(1319)]  [View PDF(3570)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(1603)]  [View PDF(4189)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(1329)]  [View PDF(3785)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(1184)]  [View PDF(3700)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(1167)]  [View PDF(4138)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(1174)]  [View PDF(3625)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(1106)]  [View PDF(3867)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(717)]  [View PDF(3283)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(1679)]  [View PDF(4787)10.65 M]