移动代理安全之代码迷惑技术研究

摘要

移动代码的安全问题是移动计算的一个十分关键的问题。代码迷惑技术是解决移动代码安全问题的有效技术之一。此外，代码迷惑技术还在电子商务、分布式计算、软件加解密和密码学上有着广泛的应用前景。本文对代码迷惑技术及其对抗技术进行了研究。 提出了基于程序切片的反代码迷惑技术。它把程序切片技术和动态执行技术结合在一起，通过对原始代码的动态程序切片以及记录多次动态执行时代码的状态，能够比较有效地去除一般代码迷惑技术中增加的无效代码和不透明谓词。实验结果表明了这种技术能够准确地找出无效代码和高概率地找出不透明谓词。 给出了一种基于函数合并的代码迷惑技术。这种技术主要对基于C++描述的类进行处理。它使用添加函数拷贝的方式来增加分析难度，同时利用图灵机可判定理论对函数进行处理，使相同功能的函数变得不可区分；对代码的数据部分和控制部分的迷惑技术进行改进，加入了抗基本程序切分技术的迷惑技术；对不透明谓词的生成方式进行了改进，并且根据密码学理论设计了隐藏函数入口的算法。理论分析和实验结果表明了本文给出的代码迷惑技术具有较好的迷惑效果。

目录

文摘

英文文摘

第1章绪论

第2章计算理论及密码学原理基础

第3章代码迷惑技术基础

第4章基于程序切片的反代码迷惑技术

第5章基于函数合并的代码迷惑技术

第6章总结及展望

参考文献

附录一C++语言语法产生式

致谢

读研期间参与的科研项目

读研期间发表录用的论文