| 摘要 | 第1-7页 |
| Abstract | 第7-13页 |
| 第1章 绪论 | 第13-30页 |
| ·研究背景 | 第13-15页 |
| ·相关概念 | 第15-16页 |
| ·生存性与传统安全概念的区别和联系 | 第15-16页 |
| ·生存性与其它系统性能的区别和联系 | 第16页 |
| ·研究现状介绍及分析 | 第16-28页 |
| ·生存性研究的产生与发展 | 第16-19页 |
| ·生存性研究目前所处的阶段 | 第19-22页 |
| ·生存性建模研究领域的现状 | 第22-24页 |
| ·生存性分析研究领域的现状 | 第24-27页 |
| ·小结 | 第27-28页 |
| ·本文工作 | 第28-30页 |
| ·本文的研究目标 | 第28页 |
| ·本文的研究意义 | 第28页 |
| ·本文的研究内容及章节安排 | 第28-30页 |
| 第2章 基于复合属性的生存性指标体系模型 | 第30-47页 |
| ·引言 | 第30页 |
| ·生存性指标体系的综合分析 | 第30-34页 |
| ·基于指标内容的分析 | 第31页 |
| ·基于攻击阶段的分析 | 第31-33页 |
| ·基于不同测定标准的分析 | 第33-34页 |
| ·基于 C-P-S的生存性指标体系模型 | 第34-37页 |
| ·指标体系的形式化描述 | 第34-35页 |
| ·形式化示例 | 第35-36页 |
| ·指标体系的数学模型 | 第36-37页 |
| ·生存性指标体系的简化与扩展 | 第37-38页 |
| ·生存性指标体系与评估方法的融合 | 第38-46页 |
| ·指标的确定化及规范化 | 第38-39页 |
| ·基于不确定型 AHP-Fuzzy的生存性评估模型 | 第39-42页 |
| ·指标体系在生存性评估中的应用 | 第42-44页 |
| ·算例 | 第44-46页 |
| ·本章小结 | 第46-47页 |
| 第3章 基于 PEPA的生存性形式化建模方法 | 第47-79页 |
| ·引言 | 第47-48页 |
| ·性能评估进程代数 | 第48-51页 |
| ·PEPA语法 | 第48-49页 |
| ·PEPA操作语义 | 第49-50页 |
| ·PEPA的模型特点 | 第50-51页 |
| ·基于 PEPA的生存性形式化建模思路 | 第51页 |
| ·用户服务请求角度建模 | 第51-55页 |
| ·服务请求组件模型 | 第51-53页 |
| ·服务器组件模型 | 第53-55页 |
| ·攻击影响角度建模 | 第55-64页 |
| ·建模背景与假设 | 第55-56页 |
| ·状态转换模型 | 第56-57页 |
| ·非结构化攻击模式下生存性模型 | 第57-59页 |
| ·结构化攻击模式下生存性模型 | 第59-64页 |
| ·两种建模角度的比较 | 第64-65页 |
| ·模型中参数的灵敏度分析 | 第65-70页 |
| ·局部灵敏度分析方法 | 第65-66页 |
| ·全局灵敏度分析方法 | 第66-67页 |
| ·分析实例 | 第67-70页 |
| ·模型性能分析 | 第70-78页 |
| ·PEPA模型分析的步骤 | 第70-71页 |
| ·模型分析工具 PEPA Workbench | 第71-72页 |
| ·分析试验 | 第72-78页 |
| ·本章小结 | 第78-79页 |
| 第4章 基于概率模型检测的生存性量化分析方法 | 第79-106页 |
| ·引言 | 第79页 |
| ·概率模型检测 | 第79-85页 |
| ·三种主要的概率模型及形式化定义 | 第80-82页 |
| ·概率性质规约逻辑 | 第82-84页 |
| ·概率模型检测工具 | 第84-85页 |
| ·基于 CTMC的生存性概率模型 | 第85-87页 |
| ·基于 CSL的生存性形式化规约 | 第87-89页 |
| ·服务及攻击故障等级描述 | 第87-88页 |
| ·生存性规约 | 第88-89页 |
| ·基于 PRISM的生存性量化分析实现 | 第89-98页 |
| ·模型统计与稳态分析 | 第89-91页 |
| ·生存性量化分析结果 | 第91-98页 |
| ·仿真试验 | 第98-103页 |
| ·相关工作比较 | 第103-105页 |
| ·本章小结 | 第105-106页 |
| 第5章 基于序列蒙特卡罗的生存性预测方法 | 第106-117页 |
| ·引言 | 第106-107页 |
| ·预测原理 | 第107-108页 |
| ·基于 SMC的生存性预测方法 | 第108-112页 |
| ·系统动态模型 | 第109-110页 |
| ·观测似然模型 | 第110页 |
| ·生存性预测算法 | 第110-112页 |
| ·仿真试验 | 第112-116页 |
| ·预测效果评价指标 | 第112-113页 |
| ·预测结果分析 | 第113-116页 |
| ·本章小结 | 第116-117页 |
| 结论 | 第117-119页 |
| 参考文献 | 第119-131页 |
| 攻读博士学位期间发表的论文和取得的科研成果 | 第131-133页 |
| 致谢 | 第133页 |