模型检测迷惑二进制恶意代码

• 作者: 孔德光 帅建梅 李俊 陈超
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 静态分析 模型检查 反汇编 恶意代码 自动机
• 年，卷（期）: 2008,（15）
• 所属期刊栏目: 研发、设计、测试
• 页码范围: 61-64
• 页数: 4页
• 分类号: TP393.08
• 字数: 3707字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2008.15.019

摘要

对二进制恶意代码进行形式化建模,开发了一个检查迷惑恶意代码的模型检查器.生成迷惑前的二进制恶意代码的有限状态机模型,再使用模型检查器检测迷惑二进制恶意代码,如果迷惑二进制恶意代码能被有限状态机模型识别,可判定其为恶意代码.实验结果表明模型检查迷惑二进制恶意代码是一种有效的静态分析方法,可以检测出一些常用的迷惑恶意代码.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李俊	中国科学技术大学自动化系	242	2653	26.0	41.0
2	帅建梅	中国科学技术大学自动化系	24	225	9.0	13.0
3	陈超	中国科学技术大学自动化系	46	435	13.0	19.0
4	孔德光	中国科学技术大学自动化系	6	61	5.0	6.0