文摘
英文文摘
声明
第一章 绪论
1.1课题背景及意义
1.1.1课题背景
1.1.2课题意义
1.2课题内容与创新点
1.3论文结构安排
第二章 文献综述
2.1安全软件开发环境
2.1.1可扩展的安全软件开发环境
2.1.2安全需求分析平台
2.2安全需求分析
2.2.1安全需求的定义
2.2.2安全需求的获取
2.2.3误用例
2.2.4攻击模式
2.2.5形式化方法
第三章 攻击模式及其形式化描述
3.1攻击模式结构
3.2形式化描述
3.2.1形式化语言Z
3.2.2攻击模式Z描述
3.2.3 Petri Net
3.3实现安全需求
第四章 安全需求分析工具模块总体设计
4.1安全需求分析工具概要设计
4.2绘制误用例工具模块设计
4.2.1分析获取误用例
4.3方案库模块设计
4.3.1误用例库
4.3.2用例库
4.3.3帮助模块
4.4用例扫描模块设计
第五章 安全需求分析工具的实现
5.1误用例绘制工具的实现
5.2库模块实现
5.2.1用例列表库的实现
5.2.2误用例库的实现
5.2.3 Eclipse帮助插件的实现
5.3用例扫描模块的实现
第六章 总结与展望
6.1结论
6.2展望
参考文献
发表论文和参加科研情况说明
致谢