Contents

Design and Implementation of Datalog Engine Based on Out-of-core Computing ZHANG Yi-Yu, WANG Gui-Hang, ZUO Zhi-Qiang, LI Xuan-Dong Published August 06, 2023 (18 pages) 2023,34(8):3587-3604 [Abstract(1089)]  [View PDF(2752)4.83 M]

Modeling and Security Analysis of Access Control in Trusted Execution Environment MIAO Xin-Liang, CHANG Rui, PAN Shao-Ping, ZHAO Yong-Wang, JIANG Lie-Hui Published August 06, 2023 (22 pages) 2023,34(8):3637-3658 [Abstract(1442)]  [View PDF(3582)20.53 M]

Tool for Determinization of Streett Automata WANG Wen-Sheng, TIAN Cong, DUAN Zhen-Hua Published August 06, 2023 (15 pages) 2023,34(8):3659-3673 [Abstract(757)]  [View PDF(2628)6.31 M]

Model and Method for Verifying Asynchronous Program Based on Communication-free Petri Net WU Zhi-Wen, LI Guo-Qiang Published August 06, 2023 (12 pages) 2023,34(8):3674-3685 [Abstract(885)]  [View PDF(2553)4.12 M]

Unified Proof Technique for Iterative and Recursive Program Structures Based on Functional Semantics LI Xi-Meng, WANG Guo-Hui, ZHANG Qian-Ying, SHI Zhi-Ping, GUAN Yong Published August 06, 2023 (22 pages) 2023,34(8):3686-3707 [Abstract(833)]  [View PDF(2520)6.47 M]

5G Authentication Protocol Based on Sub-mode Switching Operation and Its Formal Analysis LIU Yi-Bing, ZHOU Gang Published August 06, 2023 (18 pages) 2023,34(8):3708-3725 [Abstract(1201)]  [View PDF(3544)3.51 M]

Data Race Detection and Replay of Multi-threaded Programs Based on Petri Net Unfolding LU Fa-Ming, HUANG Ying, ZENG Qing-Tian, BAO Yun-Xia, TANG Meng-Fan Published August 06, 2023 (19 pages) 2023,34(8):3726-3744 [Abstract(972)]  [View PDF(2600)8.80 M]

Automated Anti-obfuscation Technology Based on Capstone and Flow-sensitive Concolic Execution LU Hui, GUO Run-Sheng, JIN Cheng-Jie, HE Lu-Xiao-Han, WANG Xing-Wei, TIAN Zhi-Hong Published August 06, 2023 (12 pages) 2023,34(8):3745-3756 [Abstract(778)]  [View PDF(2236)2.27 M]

Subsurface Scattering Computation with Accurate Reflectance Profile Fitting LIANG Shi-Yu, GAO Yang, CONG Yu, HAO Ai-Min Published August 06, 2023 (17 pages) 2023,34(8):3757-3773 [Abstract(600)]  [View PDF(2210)7.38 M]

Trajectory Simplification and Adaptive Map Matching Algorithm for Electric Bicycle WANG Dong-Jing, LIU Ji-Tao, YU Dong-Jin Published August 06, 2023 (28 pages) 2023,34(8):3793-3820 [Abstract(737)]  [View PDF(2415)7.54 M]

Dynamic Decision Making Based on Explicit Knowledge Reasoning and Deep Reinforcement Learning ZHANG Hao-Di, CHEN Zhen-Hao, CHEN Jun-Yang, ZHOU Yi, LIAN De-Fu, WU Kai-Shun, LIN Fang-Zhen Published August 06, 2023 (15 pages) 2023,34(8):3821-3835 [Abstract(1687)]  [View PDF(3701)9.56 M]

Autonomous Driving Behavior Decision-making with RoboSim Model Based on Bayesian Network CHEN Jie-Na, ZHANG Ming-Zhuo, DU De-Hui, LI Bo, NIE Ji-Hui, REN Jing-Yao Published August 06, 2023 (17 pages) 2023,34(8):3836-3852 [Abstract(1497)]  [View PDF(3566)12.09 M]

Semantics Formalization of Vectorized Machine Learning Instructions in K Framework HUANG Hou-Hua, LIU Jia-Xiang, SHI Xiao-Mu Published August 06, 2023 (17 pages) 2023,34(8):3853-3869 [Abstract(958)]  [View PDF(2930)6.07 M]

Differential Computation Analysis of White-box SM4 Scheme YUAN Zi-Qing, CHEN Jie Published August 06, 2023 (14 pages) 2023,34(8):3891-3904 [Abstract(964)]  [View PDF(2600)3.96 M]

Asymmetric Flow Load Balancing Method Based on Flow Characteristics in Data Center Network CHEN Zhong-Qing, LI Dan-Dan, SHAN De-Sheng, QIAN Ye-Kui, XIE Kun, HUANG Xiao-Hong, CONG Qun Published August 06, 2023 (14 pages) 2023,34(8):3924-3937 [Abstract(748)]  [View PDF(2602)10.73 M]

Special Issue's Articles

约束求解与定理证明专题前言 蔡少伟，陈振邦，王戟，詹博华，赵永望 Published August 06, 2023 (2 pages) 2023,34(8):3465-3466 [Abstract(620)]  [View PDF(2617)537.17 K]

UC-based Approximate Incremental Reachability YU Zhong-Qi, ZHANG Xiao-Yu, LI Jian-Wen Published August 06, 2023 (19 pages) 2023,34(8):3467-3484 [Abstract(976)]  [View PDF(3214)2.92 M]

GC-MCR: Directed Graph Constraint-guided Concurrent Bug Detection Method LI Shuo-Chuan, WANG Zan, MA Ming-Xu, CHEN Xiang, ZHAO Ying-Quan, WANG Hai-Chi, WANG Hao-Yu Published August 06, 2023 (22 pages) 2023,34(8):3485-3506 [Abstract(1198)]  [View PDF(3070)2.78 M]

Refinement-based Modeling and Formal Verification for Multiple Secure Partitions of TrustZone ZENG Fan-Lang, CHANG Rui, XU Hao, PAN Shao-Ping, ZHAO Yong-Wang Published August 06, 2023 (20 pages) 2023,34(8):3507-3526 [Abstract(1290)]  [View PDF(3543)2.26 M]

Formal Verification of Virtual Memory Subsystem in L4 ZHANG Le-Ping, ZHAO Yong-Wang, WANG Bu-Yang, LI Yue-Xin, FENG Xiao-Xiao Published August 06, 2023 (21 pages) 2023,34(8):3527-3548 [Abstract(1211)]  [View PDF(3350)2.42 M]

Coq Formalization of ZFC Set Theory for Teaching Scenarios WAN Xin-Yi, XU Ke, CAO Qin-Xiang Published August 06, 2023 (26 pages) 2023,34(8):3549-3573 [Abstract(997)]  [View PDF(3261)2.60 M]

Consequence-based Axiom Pinpointing for Expressive Description Logic Ontologies LI Jing, OUYANG Dan-Tong, YE Yu-Xin Published August 06, 2023 (13 pages) 2023,34(8):3574-3586 [Abstract(775)]  [View PDF(2768)1.75 M]

Review Articles

Survey on User Feature Requests Analysis and Processing NIU Fei-Fei, LI Chuan-Yi, GE Ji-Dong, LUO Bin Published August 06, 2023 (32 pages) 2023,34(8):3605-3636 [Abstract(1560)]  [View PDF(4732)12.76 M]

Survey on Trustworthiness Measurement for Artificial Intelligence Systems LIU Han, LI Kai-Xuan, CHEN Yi-Xiang Published August 06, 2023 (19 pages) 2023,34(8):3774-3792 [Abstract(3646)]  [View PDF(8516)5.37 M]

Survey on In-band Network Telemetry Lü Hong-Run, LI Qing, SHEN Geng-Biao, ZHOU Jian-Er, JIANG Yong, LI Wei-Chao, LIU Kai, QI Zhu-Yun Published August 06, 2023 (21 pages) 2023,34(8):3870-3890 [Abstract(2328)]  [View PDF(5042)10.74 M]

Survey on Event Extraction Based on Deep Learning WANG Hao-Chang, ZHOU Chen-Lian, Marius Gabriel PETRESCU Published August 06, 2023 (19 pages) 2023,34(8):3905-3923 [Abstract(2136)]  [View PDF(5739)5.46 M]