抵抗符号执行的不透明谓词混淆技术研究

目录

声明

插图索引

表格索引

符号对照表

缩略语对照表

第一章 绪论

1.2 研究意义

1.3 国内外研究现状

1.4 主要工作

1.5 课题支持

1.6 组织结构

1.7 本章小结

第二章 背景知识

2.1 代码混淆

2.2 不透明谓词

2.3 符号执行

2.4 符号执行攻击模型

2.5 置换函数

2.6 本章小结

第三章 基于置换的不透明谓词混淆

3.1 不透明谓词的设计目标

3.2 基于置换的不透明谓词

3.3 本章小结

第四章 抵抗符号执行的自动化代码混淆框架

4.1 框架设计

4.2 各组件设计与实现

4.3 本章小结

第五章 实验与评估

5.2 实验方案与结果评估

5.3 本章小结

第六章 总结与展望

6.2 未来工作

参考文献

致谢

作者简介