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(947)]  [View PDF(2161)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(1258)]  [View PDF(2895)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(681)]  [View PDF(1998)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(804)]  [View PDF(1876)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(732)]  [View PDF(1917)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(1045)]  [View PDF(2151)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(811)]  [View PDF(1978)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(591)]  [View PDF(1371)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(500)]  [View PDF(1581)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(630)]  [View PDF(1615)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(1373)]  [View PDF(2750)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(1266)]  [View PDF(2905)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(810)]  [View PDF(2229)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(794)]  [View PDF(1817)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(657)]  [View PDF(1994)10.73 M]

Special Issue's Articles

约束求解与定理证明专题前言 蔡少伟，陈振邦，王戟，詹博华，赵永望 Published August 06, 2023 (2 pages) 2023,34(8):3465-3466 [Abstract(494)]  [View PDF(1159)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(849)]  [View PDF(1886)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(1105)]  [View PDF(1696)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(1094)]  [View PDF(2026)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(1071)]  [View PDF(1924)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(885)]  [View PDF(1896)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(683)]  [View PDF(1577)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(1373)]  [View PDF(3223)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(2981)]  [View PDF(5797)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(1972)]  [View PDF(3575)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(1781)]  [View PDF(3801)5.46 M]