声明
第一章 绪论
1.1 研究工作的背景与意义
1.2 国内外研究历史与现状
1.3 本文的主要研究内容及创新
1.4 本论文的结构安排
第二章 基于动态分析的漏洞自动化验证基本知识
2.1 软件动态分析
2.2 漏洞防御
2.3 漏洞验证
2.4 调试器技术
2.5 插桩技术
2.6 本章小结
第三章 漏洞自动化验证关键技术
3.1 验证环境研究
3.2 验证规则研究
3.3 动态分析技术在漏洞自动化验证中的应用
3.4 本章小结
第四章 漏洞自动化验证平台设计与实现
4.1 总体流程及设计
4.2 客户端模块设计
4.3 控制端模块设计
4.4 验证端模块设计
4.5 本章小结
第五章 实验结果及分析
5.1 测试网络环境
5.2 系统测试
5.3 验证规则测试
5.4 本章小结
第六章 总结与展望
6.1 论文工作总结
6.2 后续工作展望
致谢
参考文献
攻硕期间取得的研究成果