基于攻击模式的系统漏洞检测工具的设计与实现
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 第一章 绪论 | 第7-17页 |
| ·课题背景 | 第7-9页 |
| ·领域研究现状 | 第9-15页 |
| ·安全软件工程 | 第9-10页 |
| ·攻击模式 | 第10-12页 |
| ·代码安全静态分析工具 | 第12-15页 |
| ·课题内容及创新点 | 第15-16页 |
| ·论文结构安排 | 第16-17页 |
| 第二章 攻击模式库的设计与实现 | 第17-30页 |
| ·攻击模式库的架构与表示 | 第17-22页 |
| ·攻击模式库存放的元素 | 第18-19页 |
| ·攻击模式库中攻击模式的分类 | 第19-20页 |
| ·攻击模式库中对攻击模式的两种特殊表示 | 第20-22页 |
| ·构建攻击模式库 | 第22-24页 |
| ·攻击模式库的标签设置 | 第23-24页 |
| ·攻击模式库的操作接口 | 第24页 |
| ·攻击模式库检索及编辑子模块的实现 | 第24-30页 |
| ·攻击模式库的检索子模块 | 第24-28页 |
| ·攻击模式库的编辑子模块 | 第28-30页 |
| 第三章 系统漏洞检测工具总体设计 | 第30-39页 |
| ·系统漏洞检测工具的总体设计 | 第30-31页 |
| ·设计阶段漏洞检测工具的设计 | 第31-35页 |
| ·攻击模式分类设计 | 第31-34页 |
| ·组件表的设计 | 第34-35页 |
| ·类图的设计 | 第35页 |
| ·编码阶段漏洞检测工具的设计 | 第35-39页 |
| ·攻击模式建模 | 第36-37页 |
| ·源码分析建模工具 | 第37-38页 |
| ·模型验证 | 第38-39页 |
| 第四章 系统漏洞检测工具的实现 | 第39-49页 |
| ·设计阶段漏洞检测工具的实现 | 第39-43页 |
| ·类图信息提取模块的实现 | 第39-40页 |
| ·攻击模式读取模块的实现 | 第40-41页 |
| ·匹配模块的实现 | 第41-43页 |
| ·编码阶段漏洞检测工具的实现 | 第43-49页 |
| ·程序配置模块的实现 | 第44-45页 |
| ·攻击模式配置模块的实现 | 第45页 |
| ·模型验证模块的实现 | 第45-46页 |
| ·程序运行结果及界面 | 第46-49页 |
| 第五章 结论与展望 | 第49-51页 |
| ·结论 | 第49页 |
| ·展望 | 第49-51页 |
| 参考文献 | 第51-54页 |
| 发表论文和参加科研情况说明 | 第54-55页 |
| 致谢 | 第55页 |
