有色Petri网的Android恶意代码建模方法研究

来源：计算机科学与探索杂志2017年第1期北京时间：

作者：李登辉，焦健，陈昕，宋亚鹏，肖庆

单位：1. 北京信息科技大学 计算机学院，北京 1001012. 广西师范大学 历史文化与旅游学院，广西 桂林 541001

摘要：针对Android平台的恶意代码分析建模一直是目前移动终端安全的研究重点，对目前常见的恶意代码进行归纳、分类和行为抽取，在对行为进行形式化描述的基础上，提出了一种基于有色Petri网（colored-Petri net，CPN）的恶意代码建模方法，使用该方法能够描述恶意代码从安装、加载到恶意执行的整个过程。最后对恶意软件BeanBot进行建模，并利用CPN Tools仿真工具分析了模型的可达性和有界性等性质。实验表明该方法可以准确地刻画恶意代码的运行过程，有助于对恶意代码的机制进行深入分析。

关键词：安卓系统,恶意代码,颜色Petri网（CPN）,行为建模