基于不透明谓词的软件抗动态逆向分析研究

• 作者: 余祥 李强 韩翔宇 黄海军
• 来源期刊: 计算机应用研究
• 关键词: 不透明谓词 代码混淆 抗逆向分析 软件保护
• 年，卷（期）: 2017,（8）
• 所属期刊栏目: 软件技术研究
• 页码范围: 2422-2428
• 页数: 7页
• 分类号: TP311.5
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2017.08.042

摘要

传统的不透明谓词对谓词内部逻辑结构进行复杂化,难以有效应对软件的动态逆向分析.通过插入运行环境检测代码并将检测结果返回给不透明谓词,动态选择分支路径使软件仅在安全环境下运行被保护代码,防止代码被动态分析.引入一般和关键节点概念,提高谓词内部逻辑结构的复杂度,并使用形式化方法进行描述.实验证明,成功检测出虚拟机和调试器并避开了受保护代码;在静态指令统计上与使用变形隐匿的方法对比,具有更好的隐匿效果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李强		14	74	3.0	8.0
2	余祥		8	15	3.0	3.0
3	韩翔宇		4	4	1.0	1.0
4	黄海军		5	15	2.0	3.0