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

摘要：

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

关键词：不透明谓词、代码混淆、抗逆向分析、软件保护

所属期刊栏目：34

分类号：TP311.5(计算技术、计算机技术)

资助基金：技术基础条件建设项目72131022;电子工程学院科研基金资助项目KY15N639

在线出版日期：2017-08-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：2422-2428