基于形式化建模的安全缺陷知识库的构建
| 摘要 | 第3-4页 |
| ABSTRACT | 第4页 |
| 第一章 绪论 | 第7-10页 |
| 1.1 研究背景 | 第7-8页 |
| 1.2 研究动机和意义 | 第8页 |
| 1.3 主要工作和贡献 | 第8-9页 |
| 1.4 论文组织结构 | 第9-10页 |
| 第二章 研究综述与工作基础 | 第10-16页 |
| 2.1 软件安全缺陷 | 第10-11页 |
| 2.1.1 软件安全缺陷的概念 | 第10-11页 |
| 2.1.2 软件安全缺陷建模 | 第11页 |
| 2.2 形式化方法 | 第11-13页 |
| 2.3 工作基础 | 第13-16页 |
| 第三章 软件安全缺陷形式化 | 第16-26页 |
| 3.1 软件安全缺陷基本结构 | 第16-20页 |
| 3.1.1 软件安全缺陷基本结构初步分析 | 第16-17页 |
| 3.1.2 软件安全缺陷基本结构 | 第17-20页 |
| 3.2 软件安全缺陷结构形式化 | 第20-26页 |
| 3.2.1 缺陷形式化相关定义 | 第20-21页 |
| 3.2.2 缺陷形式化流程 | 第21-24页 |
| 3.2.3 安全缺陷Z规格描述方法 | 第24-26页 |
| 第四章 软件安全缺陷知识库的构建 | 第26-38页 |
| 4.1 软件安全缺陷知识库概要设计 | 第26-28页 |
| 4.1.1 知识库内容设计 | 第26-27页 |
| 4.1.2 知识库逻辑设计 | 第27-28页 |
| 4.2 软件安全缺陷知识库数据表设计 | 第28-30页 |
| 4.3 缺陷知识库管理系统代码生成器的设计与实现 | 第30-38页 |
| 4.3.1 缺陷知识库管理系统设计 | 第31-32页 |
| 4.3.2 代码生成器设计 | 第32-35页 |
| 4.3.3 代码生成器实现 | 第35-38页 |
| 第五章 总结与展望 | 第38-40页 |
| 5.1 总结 | 第38页 |
| 5.2 展望 | 第38-40页 |
| 参考文献 | 第40-43页 |
| 发表论文和参加科研情况说明 | 第43-44页 |
| 致谢 | 第44页 |
