Contents

Projection Approach for Keeping the Behavior Consistency Between Choreography and Peers DAI Fei, CHEN Feng-Qiang, MO Qi, WANG Wei, LI Tong and LIANG Zhi-Hong 2018,29(5):1451-1470 [Abstract(3020)]  [View PDF(4786)2.75 M]

Special Issue's Articles

Preface of Software Vulnerability Detection WANG Lin-Zhang, CHEN Kai and WANG Ji 2018,29(5):1177-1178 [Abstract(4015)]  [View PDF(8054)374.72 K]

Progress in Research on Buffer Overflow Vulnerability Analysis Technologies SHAO Si-Hao, GAO Qing, MA Sen, DUAN Fu-Yao, MA Xiao, ZHANG Shi-Kun and HU Jin-Hua 2018,29(5):1179-1198 [Abstract(6499)]  [View PDF(13226)2.06 M]

Approach of Leveraging Patches to Discover Unknown Vulnerabilities LI Zan, BIAN Pan, SHI Wen-Chang and LIANG Bin 2018,29(5):1199-1212 [Abstract(4353)]  [View PDF(9160)1.40 M]

Vulnerability Life Cycle Oriented Security Risk Metric Method HU Hao, YE Run-Guo, ZHANG Hong-Qi, CHANG De-Xian, LIU Yu-Ling and YANG Ying-Jie 2018,29(5):1213-1229 [Abstract(4627)]  [View PDF(9226)1.90 M]

Method for Automated Detection of Suspicious Vulnerability Related to Numerical Stability SHEN Wei-Jun, TANG En-Yi, CHEN Zhen-Yu, CHEN Xin, LI Bin and ZHAI Juan 2018,29(5):1230-1243 [Abstract(4822)]  [View PDF(7954)1.57 M]

Incremental Resource Leak Detection for Large Scale Source Code GAO Zhi-Wei, JI Wei-Xing, SHI Jian-Jun, WANG Yi-Zhuo, GAO Yu-Jin, LIAO Xin-Yi, LUO Hui and SHI Feng 2018,29(5):1244-1257 [Abstract(4132)]  [View PDF(7524)1.71 M]

Programmable Fuzzing Technology YANG Mei-Fang, HUO Wei, ZOU Yan-Yan, YIN Jia-Wei, LIU Bao-Xu, GONG Xiao-Rui, JIA Xiao-Qi and ZOU Wei 2018,29(5):1258-1274 [Abstract(5642)]  [View PDF(11032)2.12 M]

Browser Fuzzing Technique Based on Pattern-Generation HUO Wei, DAI Ge, SHI Ji, GONG Xiao-Rui, JIA Xiao-Qi, SONG Zhen-Yu, LIU Bao-Xu and ZOU Wei 2018,29(5):1275-1287 [Abstract(4861)]  [View PDF(10060)1.38 M]

Real Time Idle State Decection Method in Fuzzing Test in GUI Program ZHANG Xing, FENG Chao, LEI Jing and TANG Chao-Jing 2018,29(5):1288-1302 [Abstract(4665)]  [View PDF(10353)1.69 M]

Vulnerability Discovery Method for Virtualization in IaaS Based on Self-Adapting Fuzzing Test SHA Le-Tian, XIAO Fu, YANG Hong-Ke, YU Hui and WANG Ru-Chuan 2018,29(5):1303-1317 [Abstract(5993)]  [View PDF(8415)1.57 M]

Security Reinforcement of Accessibility Service Based on Decentralized Information Flow Control LI Xiao-Juan and CHEN Hai-Bo 2018,29(5):1318-1332 [Abstract(4127)]  [View PDF(7349)1.64 M]

Transparent Protection of Kernel Module Against ROP with Intel Processor Trace WANG Xin-Ran, LIU Yu-Tao and CHEN Hai-Bo 2018,29(5):1333-1347 [Abstract(4388)]  [View PDF(8004)1.77 M]

Security Detection Model of Blockchain YE Cong-Cong, LI Guo-Qiang, CAI Hong-Ming and GU Yong-Gen 2018,29(5):1348-1359 [Abstract(6667)]  [View PDF(11157)1.29 M]

Security and Safety Threat Detection Method for Unmanned Aerial System Based on Runtime Verification YANG Dong, SHI Hao, DONG Wei, LIU Zong-Lin and ZHOU Ge 2018,29(5):1360-1378 [Abstract(4838)]  [View PDF(10589)2.42 M]

Security Analysis of the Third-Party SDKs in the Android Ecosystem MA Kai and GUO Shan-Qing 2018,29(5):1379-1391 [Abstract(5577)]  [View PDF(14270)1.65 M]

Mobile Advertising Loophole Attack Technology Based on Host APP's Permissions WANG Chi-Heng, CHEN Jing, SU Han, HE Kun and DU Rui-Ying 2018,29(5):1392-1409 [Abstract(4260)]  [View PDF(7964)2.12 M]

Web Page Trojan Detection Method Based on Dynamic Behavior Analysis ZHANG Wei-Feng, LIU Rui-Cheng and XU Lei 2018,29(5):1410-1421 [Abstract(4649)]  [View PDF(9125)1.29 M]

Review Articles

Investigation of Empirical Researches in Software Engineering ZHANG Li, PU Meng-Yuan, LIU Yi-Jun, TIAN Jia-Hao, YUE Tao and JIANG Jing 2018,29(5):1422-1450 [Abstract(6501)]  [View PDF(15290)7.21 M]

Survey on Medical Image Computer Aided Detection and Diagnosis Systems ZHENG Guang-Yuan, LIU Xia-Bi and HAN Guang-Hui 2018,29(5):1471-1514 [Abstract(8279)]  [View PDF(42213)4.38 M]