基于概率影响图的软件体系结构安全性风险分析
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-16页 |
| ·课题研究背景 | 第9-10页 |
| ·国内外研究水平与现状 | 第10-13页 |
| ·软件体系结构分析方法 | 第10-12页 |
| ·安全性风险分析方法 | 第12-13页 |
| ·论文研究意义 | 第13-14页 |
| ·论文研究内容 | 第14-15页 |
| ·论文组织 | 第15-16页 |
| 第二章 软件体系结构安全性风险分析 | 第16-27页 |
| ·软件体系结构的安全性 | 第16-18页 |
| ·影响图与概率影响图基本理论 | 第18-21页 |
| ·构件和连接件的安全性风险因子度量 | 第21-23页 |
| ·构件和连接件的复杂性分析 | 第21-22页 |
| ·构件和连接件的严重性级别 | 第22页 |
| ·构件和连接件的安全性风险因子 | 第22-23页 |
| ·连接件的迁移概率 | 第23页 |
| ·基于影响图的安全性风险分析 | 第23-26页 |
| ·系统安全性的确定 | 第23页 |
| ·构件及连接件的安全性风险分析 | 第23-24页 |
| ·系统安全性风险 | 第24-25页 |
| ·总体评估 | 第25-26页 |
| ·本章小结 | 第26-27页 |
| 第三章 基于图变换的概率影响图建模及约简 | 第27-42页 |
| ·图形变换理论的定义和基本原理 | 第27-28页 |
| ·概率影响图的概率推理 | 第28-34页 |
| ·概率影响图基本变换 | 第28-31页 |
| ·概率影响图推理算法 | 第31-34页 |
| ·概率影响图建模及约简分析 | 第34-41页 |
| ·概率影响图抽象语法 | 第34-36页 |
| ·概率影响图具体语法 | 第36-37页 |
| ·概率影响图建模及约简分析操作规则 | 第37-41页 |
| ·本章小结 | 第41-42页 |
| 第四章 原型工具开发及实例研究 | 第42-52页 |
| ·概率影响图建模及约简工具实现 | 第42-44页 |
| ·TIGER开发环境 | 第42-43页 |
| ·基于Eclipse插件的体系结构 | 第43页 |
| ·可视化建模原型工具实现 | 第43-44页 |
| ·CAS系统体系结构安全性风险分析实例研究 | 第44-51页 |
| ·CAS系统概述 | 第44-45页 |
| ·CAS系统安全性风险分析 | 第45-48页 |
| ·CAS系统安全性风险影响图模型约简分析 | 第48-49页 |
| ·CAS构件及连接件安全性风险度量 | 第49-50页 |
| ·CAS系统总体评估 | 第50-51页 |
| ·本章小结 | 第51-52页 |
| 第五章 总结与展望 | 第52-54页 |
| ·研究内容总结 | 第52-53页 |
| ·进一步的研究工作 | 第53-54页 |
| 参考文献 | 第54-58页 |
| 致谢 | 第58-59页 |
| 攻读硕士学位期间主要的研究成果 | 第59页 |
