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(1896)]  [View PDF(3836)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(2155)]  [View PDF(4378)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(1392)]  [View PDF(3744)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(1892)]  [View PDF(4636)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(1250)]  [View PDF(3411)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(1870)]  [View PDF(4618)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(1487)]  [View PDF(3704)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(2763)]  [View PDF(5198)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(1637)]  [View PDF(3878)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(1685)]  [View PDF(4123)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(1320)]  [View PDF(3294)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(1877)]  [View PDF(4109)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(1894)]  [View PDF(4725)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(1764)]  [View PDF(4083)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(2307)]  [View PDF(4502)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(1448)]  [View PDF(3691)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(1468)]  [View PDF(3562)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(1855)]  [View PDF(4505)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(1389)]  [View PDF(5025)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(2261)]  [View PDF(4919)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(3240)]  [View PDF(5779)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(2313)]  [View PDF(5308)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(2242)]  [View PDF(5189)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(2524)]  [View PDF(5716)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(2004)]  [View PDF(5254)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(1964)]  [View PDF(5287)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(1725)]  [View PDF(4785)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(2774)]  [View PDF(7605)10.65 M]