10.3778/j.issn.1673-9418.1509067
有色Petri网的Android恶意代码建模方法研究
针对Android平台的恶意代码分析建模一直是目前移动终端安全的研究重点,对目前常见的恶意代码进行归纳、分类和行为抽取,在对行为进行形式化描述的基础上,提出了一种基于有色Petri网(colored-Petri net,CPN)的恶意代码建模方法,使用该方法能够描述恶意代码从安装、加载到恶意执行的整个过程.最后对恶意软件BeanBot进行建模,并利用CPN Tools仿真工具分析了模型的可达性和有界性等性质.实验表明该方法可以准确地刻画恶意代码的运行过程,有助于对恶意代码的机制进行深入分析.
安卓系统、恶意代码、颜色Petri网(CPN)、行为建模
11
TP391.9(计算技术、计算机技术)
The National Natural Science Foundation of China under Grant Nos.61370065,61502040;the National Science and Technology Major Project of the Ministry of Science and Technology of China under Grant No.2012ZX01039-004-48;the National Key Technology R&D Program of the Ministry of Science and Technology of China under Grant No.2015BAK12B03-03
2017-05-03（万方平台首次上网日期，不代表论文的发表时间）
共7页
99-105
