有色Petri网的Android恶意代码建模方法研究_李登辉.pdf

ISSN 1673-9418 CODEN JKYTA8 E-mail: fcst@vip. 163.com Journal of Frontiers of Computer Science and Technology 1673-9418/2017/ 11(01)-0099-07 Tel: +86-10 doi: 10.3778/j.issn. 1673-9418.1509067 有色Petri 网的Android 恶意代码建模方法研究* 1+ 1 1 1 2 李登辉 ，焦 健 ，陈 昕 ，宋亚鹏 ，肖 庆 1. 北京信息科技大学 计算机学院，北京 100101 2. 广西师范大学 历史文化与旅游学院，广西 桂林 541001 Research on Modeling Method of Android Malware Based on Colored-Petri Nets 1+ 1 1 1 2 LI Denghui , JIAO Jian , CHEN Xin , SONG Yapeng , XIAO Qing 1. College of Computer Science and Technology, Beijing Information Science and Technology University, Beijing 100101, China 2. College of Historical Culture and Turism, Guangxi Normal University, Guilin, Guangxi 541001, China + Corresponding author: E-mail: lxl 1965@ LI Denghui, JIAO Jian, CHEN Xin, et al. Research on modeling method of Android malware based on colored- Petri nets. Journal of Frontiers of Computer Science and Technology, 2017, 11(1): 99-105. Abstract: Analysis and modeling of Android malware is the research emphasis of mobile terminal security. This paper summarizes and classifies the Android malwares, and extracts the behavior. On the basis of formal description of the behavior, this paper proposes a new modeling method of malwares based on colored-Petri net (CPN). The pro- posed method can help describe the whole process of malwares from installation, loading to malicious execution. Finally, this paper makes modeling for malware BeanBot, and analyzes the reachability and boun