作者：孙国梓 陈丹伟 蔡强代码模糊变换逻辑一致性花指令反汇编
摘要：花指令模糊变换是代码模糊变换策略中的一种有效方法。在分析现有花指令加密方法的基础上，提出一种子程序花指令模糊变换方案，并利用形式化方法对其进行描述。通过研究子程序花指令模糊变换各种形式化的定义，推导出若干引理，从“XOR及CMP扩展”、“伪分支构造”、“JNE后加花指令”等3个方面加以形式化的证明，使得经上述子程序花指令模糊变换的程序具有与原程序相同的逻辑性。最后，以代码模糊变换评测标准对该算法的效果进行了详细分析。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
