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

摘要：

花指令模糊变换是代码模糊变换策略中的一种有效方法.在分析现有花指令加密方法的基础上,给出一种随机花指令模糊变换加密方案,并利用形式化方法对其进行了描述.通过研究花指令模糊变换各种形式化的定义,推导出若干引理,从"JMP扩展"、"JMC变换"、"JMP后添加花指令"等3个方面形式化地证明了经上述随机花指令加密算法变换的程序具有与原始程序相同的逻辑性.

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

所属期刊栏目：32

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

资助基金：国家科技攻关项目2004BA811B04;南京邮电大学校科研和教改项目NY205043

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

页数：共4页

页码：135-137,152