| 摘要 | 第10-12页 |
| ABSTRACT | 第12-13页 |
| 第一章 绪论 | 第14-24页 |
| 1.1 课题背景与意义 | 第14-15页 |
| 1.2 网络协议测试技术概述 | 第15-17页 |
| 1.2.1 网络协议形式化验证方法 | 第16页 |
| 1.2.2 协议模糊测试 | 第16-17页 |
| 1.2.3 基于动态测试用例生成的网络协议测试技术 | 第17页 |
| 1.3 协议逆向工程概述 | 第17-19页 |
| 1.3.1 基于网络协议流量分析的协议逆向 | 第17-18页 |
| 1.3.2 基于协议处理程序分析的协议逆向 | 第18-19页 |
| 1.3.3 协议状态转换逆向 | 第19页 |
| 1.4 基于程序分析的协议测试关键技术 | 第19-21页 |
| 1.4.1 动态污点传播技术 | 第20页 |
| 1.4.2 符号化执行技术 | 第20-21页 |
| 1.4.3 面向协议测试的全系统虚拟机回放技术 | 第21页 |
| 1.5 课题主要研究的内容 | 第21-22页 |
| 1.6 论文结构 | 第22-24页 |
| 第二章 网络协议测试平台Pro Test的总体结构和设计 | 第24-30页 |
| 2.1 ProTest的总体结构 | 第25-27页 |
| 2.2 ProTest模块间协同 | 第27-28页 |
| 2.3 ProTest的层次结构 | 第28-29页 |
| 2.4 本章小结 | 第29-30页 |
| 第三章 网络协议处理程序的结构化分析技术 | 第30-42页 |
| 3.1 结构化程序分析技术与协议逆向工程 | 第30-31页 |
| 3.2 协议处理程序的结构化分析 | 第31-37页 |
| 3.2.1 网络协议报文字段与协议处理程序的控制结构 | 第31-32页 |
| 3.2.2 协议处理中的进线程识别 | 第32-33页 |
| 3.2.3 协议处理程序的结构化分析 | 第33-37页 |
| 3.3 功能测试 | 第37-40页 |
| 3.4 本章小结 | 第40-42页 |
| 第四章 基于动态符号化污点传播的协议测试用例生成技术 | 第42-58页 |
| 4.1 已有基于污点传播的报文分析系统 | 第42-43页 |
| 4.2 ProTest的污点传播系统 | 第43-44页 |
| 4.3 结构化分析指导的污点传播 | 第44-50页 |
| 4.3.1 结构化分析引导的污点传播状态转换 | 第45-46页 |
| 4.3.2 ProTest的结构化指令追踪 | 第46-50页 |
| 4.4 基于污点分析的报文重构 | 第50-52页 |
| 4.4.1 污点映射关系 | 第50-51页 |
| 4.4.2 报文域的层次化重构 | 第51-52页 |
| 4.5 报文约束条件的提取和求解 | 第52-53页 |
| 4.5.1 报文域的程序路径约束条件提取 | 第52页 |
| 4.5.2 报文域的路径约束求解 | 第52-53页 |
| 4.6 协议会话下的测试用例生成方法 | 第53-54页 |
| 4.7 功能测试 | 第54-56页 |
| 4.7.1 SurgeMail协议的报文重构及漏洞发现与分析 | 第54-56页 |
| 4.7.2 HeartBleed漏洞发现与分析 | 第56页 |
| 4.8 本章小结 | 第56-58页 |
| 第五章 面向协议测试的增量式快照文件系统 | 第58-76页 |
| 5.1 高性能分布式Key-Value数据库 | 第58-63页 |
| 5.1.1 高通量单节点Key-Value数据库 | 第58-59页 |
| 5.1.2 高性能分布式Key-Value数据库框架 | 第59-60页 |
| 5.1.3 分布式Key-Value数据库的容错 | 第60-63页 |
| 5.2 协议状态数据的模型映射、存储与查询 | 第63-66页 |
| 5.2.1 协议状态数据的组织形式 | 第63页 |
| 5.2.2 协议状态数据的模型映射 | 第63-64页 |
| 5.2.3 协议状态数据的存储、查询方法 | 第64-66页 |
| 5.3 层次化协议测试快照数据的高速存储 | 第66-67页 |
| 5.4 基于线段树优化的数据快照与高并发增量式数据存取优化 | 第67-69页 |
| 5.5 协议实体连接状态快照存储和恢复 | 第69-70页 |
| 5.5.1 协议执行全局状态快照存储 | 第70页 |
| 5.5.2 协议执行全局状态快照恢复 | 第70页 |
| 5.6 功能测试 | 第70-74页 |
| 5.6.1 分布式Key-Value数据库及其容错性能测试 | 第71-72页 |
| 5.6.2 文件系统读写性能测试 | 第72-74页 |
| 5.7 本章总结 | 第74-76页 |
| 第六章 总结 | 第76-78页 |
| 6.1 本文总结 | 第76页 |
| 6.2 工作展望 | 第76-78页 |
| 致谢 | 第78-80页 |
| 参考文献 | 第80-84页 |
| 作者在读期间取得的学术成果 | 第84页 |
