封面
声明
中文摘要
英文摘要
目录
第一章 绪论
1.1研究背景与意义
1.2研究内容及创新点
1.3论文结构
第二章 文献综述
2.1 CC标准
2.2软件安全需求工程
2.3 CC工具箱系统
2.4未确知测度理论
第三章 基于未确知测度理论的安全等级评定规则
3.1总体思路
3.2安全需求等级评估模型
3.3评估示例
3.4等级评定结果及评估效果分析
第四章 基于形式化建模的软件安全知识库
4.1安全知识库整体结构
4.2安全知识库基本定义及构建方式
第五章 基于等级和形式化建模的软件安全需求获取方法
5.1安全需求获取方法整体框架
5.2基于形式化建模与验证的软件缺陷自动检测技术
第六章 软件安全需求自动获取工具的实现
6.1工具的整体架构
6.2各功能模块详细设计
第七章 总结与展望
7.1总结
7.2展望
参考文献
发表论文和参加科研情况说明
致谢
附录