花指令模糊变换及加密引擎的研究与实现

作     者：蔡强 

作者单位：南京邮电大学 

学位级别：硕士

导师姓名：王绍棣;孙国梓

授予年度：2008年

学科分类：11[军事学] 1105[军事学-军队指挥学] 0839[工学-网络空间安全] 08[工学] 110505[军事学-密码学] 110503[军事学-军事通信学] 

主      题：加密引擎 花指令 模糊变换 反汇编 

摘      要：本文对代码模糊变换技术中的花指令模糊变换进行了深入研究。代码模糊变换是软件保护的一种非常有效的方法，该技术通过对程序进行某种形式的变换使原始程序难以进行逆向工程分析，提高了软件抗静态分析的能力。花指令模糊变换通过在程序代码中添加一些垃圾字节或垃圾指令，扰乱反汇编器的反汇编结果，从而增加软件破解者的分析难度。\n 本文分析了相关的课题研究背景和研究状况，介绍了花指令模糊变换的实现基础，针对目前花指令模糊变换方法简单、容易被相关工具自动去除等问题，提出了一种新的变换方法--“子程序花指令模糊变换，并重点研究了该变换策略的工作流程、算法描述和总体架构。\n 子程序经过模糊变换后，重要的是如何保证其逻辑与原程序一致，文章应用形式化方法对该变换的逻辑一致性进行了证明，说明了该变换并不改变原始程序的逻辑，随后本文又给出了代码模糊变换的一种评测标准。\n 最后，论文对上述代码模糊变换的加密引擎进行了研究，给出了具体的实现，通过编写的花指令变换软件JCEE可实现子程序的花指令模糊变换。文中使用该加密引擎对程序进行了变换，从不同的角度具体分析了变换的结果。相关结果表明该变换能有效防止添加的花指令被自动工具去除，增加了复杂性，在实践上具有一定的实用价值。