|
|||||
|
|
| 子程序花指令模糊变换逻辑一致性研究 | |
| 作者姓名： | 孙国梓 陈丹伟蔡强 |
| 作者单位： | 1. 南京邮电大学计算机学院,南京,210003 2. 南京邮电大学计算机技术研究所,南京,210003 |
| 基金项目： | 国家科技攻关项目,江苏省高校自然科学研究计划项目 |
| 摘 要： | 花指令模糊变换是代码模糊变换策略中的一种有效方法.在分析现有花指令加密方法的基础上,提出一种子程序花指令模糊变换方案,并利用形式化方法对其进行描述.通过研究子程序花指令模糊变换各种形式化的定义,推导出若干引理,从"XOR及CMP扩展"、"伪分支构造"、"JNE后加花指令"等3个方面加以形式化的证明,使得经上述子程序花指令模糊变换的程序具有与原程序相同的逻辑性.最后,以代码模糊变换评测标准对该算法的效果进行了详细分析. |
| 关 键 词： | 代码模糊变换 逻辑一致性 花指令 反汇编 |
| 收稿时间： | 2008-09-24 |
| 修稿时间： | 2008-12-30 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |