子程序花指令模糊变换逻辑一致性研究

摘要：

花指令模糊变换是代码模糊变换策略中的一种有效方法.在分析现有花指令加密方法的基础上,提出一种子程序花指令模糊变换方案,并利用形式化方法对其进行描述.通过研究子程序花指令模糊变换各种形式化的定义,推导出若干引理,从"XOR及CMP扩展"、"伪分支构造"、"JNE后加花指令"等3个方面加以形式化的证明,使得经上述子程序花指令模糊变换的程序具有与原程序相同的逻辑性.最后,以代码模糊变换评测标准对该算法的效果进行了详细分析.

关键词：代码模糊变换、逻辑一致性、花指令、反汇编

所属期刊栏目：36

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

资助基金：国家科技攻关项目2004BA8111304,2007BAK34806;江苏省高校自然科学研究计划项目05KJD520150

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

页数：共4页

页码：89-91,200