一种基于模型检测的恶意行为识别方法

• 作者: 奚琪 曾勇军 朱海晓 王清贤
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 模型检测 混淆 逻辑 恶意代码
• 年，卷（期）: 2015,（7）
• 所属期刊栏目: 安全技术
• 页码范围: 284-287,322
• 页数: 5页
• 分类号: TP309
• 字数: 5584字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2015.07.068

摘要

针对恶意代码采用混淆技术规避安全软件检测的问题,提出一种基于模型检测的恶意行为识别方法.方法将检测恶意行为转换为模型对属性的验证过程:利用谓词时态逻辑公式描述代码的恶意行为,从程序执行过程中的系统调用轨迹提取基于谓词标记的Kripke结构,通过检测算法验证模型对公式的可满足性.实验结果表明以上方法可有效识别混淆后的恶意代码.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	奚琪		7	15	2.0	3.0
2	曾勇军		5	11	1.0	3.0
3	王清贤		19	58	4.0	7.0
4	朱海晓		1	1	1.0	1.0