一种抵抗符号执行的路径分支混淆技术

QqWw11 · 发表于 2021-2-8 09:40

EDA365欢迎您登录！

您需要登录才可以下载或查看，没有帐号？注册

x

摘要：程序在动态执行过程中泄露了大量的路径分支信息，这些路径分支信息是其内部逻辑关系的二进制表示．符号执行技术可以自动地收集并推理程序执行过程所泄露的路径信息，可用于逆向工程并可削弱代码混淆的保护强度．哈希函数可以有效保护基于等于关系的路径分支信息，但是难以保护基于上下边界判断的不等关系的路径分支信息．将保留前缀算法与哈希函数相结合提出了一种新的路径分支混淆技术，将符号执行推理路径分支信息的难度等价到逆向推理哈希函数的难度．该路径分支混淆方法在ＳＰＥＣｉｎｔ２００６程序测试集上进行了实验，试验结果表明该混淆方法能有效保护程序路径分支信息，具有实用性．关键词：代码混淆；符号执行；哈希函数；保留前缀加密

代码混淆技术可以增加代码逆向分析和推理的难度和时间，是当前信息安全领域的研究热点之一．逆向工程的威胁主要来自受控的主机环境，如图１所示．Ｆａｌ ｃａｒｉｎ等人［１］将图１所示的安全威胁模型称为ＭＡＴＥ（ＭａｎＡｔＴｈｅＥｎｄ）攻击，该攻击有多种表现形式，其中主要包括：逆向工程、代码盗用、恶意篡改和盗版．

附件下载：

游客，如果您要查看本帖隐藏内容请回复

zmmdmn · 发表于 2021-2-8 10:25

保留前缀加密

帐号		自动登录	找回密码
密码			注册

[毕业设计] 一种抵抗符号执行的路径分支混淆技术

EDA365欢迎您登录！

推荐内容 /1