| 提要 | 第1-7页 |
| 第一章 概论 | 第7-13页 |
| ·容侵的概念 | 第7-10页 |
| ·AVI 组合故障模型 | 第8-10页 |
| ·容侵研究的发展现状 | 第10-11页 |
| ·本文工作 | 第11-13页 |
| 第二章 GA系统的可靠性模型与模型检验 | 第13-28页 |
| ·安全性建模 | 第13-15页 |
| ·Guardian Angel (GA)系统的可靠性建模 | 第15-20页 |
| ·Guardian Angel 医疗信息系统 | 第15-16页 |
| ·GA 系统的可靠性建模 | 第16-20页 |
| ·GA可靠性模型的检验 | 第20-28页 |
| ·模型检验工具 NuSMV | 第20-23页 |
| ·检验 GA 可靠性模型 | 第23-28页 |
| 第三章 GA系统容侵方案的设计 | 第28-36页 |
| ·基本的容侵机制 | 第28-32页 |
| ·拜占庭容错 | 第28-30页 |
| ·入侵检测系统 | 第30页 |
| ·自适应重配置和恢复机制 | 第30-31页 |
| ·容侵的数据存储方案 | 第31-32页 |
| ·GA系统容侵解决方案 | 第32-36页 |
| ·请求分发模块 | 第33-34页 |
| ·请求过滤和应答检验模块 | 第34页 |
| ·应答匹配模块 | 第34-35页 |
| ·重配置和恢复模块 | 第35-36页 |
| 第四章 基于门限秘密的容侵机制实现 | 第36-42页 |
| ·门限秘密共享 | 第36-39页 |
| ·门限秘密分片与还原算法 | 第37-39页 |
| ·基于门限秘密实现容侵机制 | 第39-42页 |
| 第五章 对容侵方案的定量分析 | 第42-49页 |
| ·定量分析的数学模型 | 第42-43页 |
| ·对 GA系统的分析 | 第43-45页 |
| ·容侵机制对系统可靠性的提高 | 第45-49页 |
| ·容侵方案的性价比 | 第46-49页 |
| 第六章 工作总结和展望 | 第49-51页 |
| 参考文献 | 第51-54页 |
| 摘要 | 第54-57页 |
| Abstract | 第57-61页 |
| 致谢 | 第61-62页 |
| 导师及作者简介 | 第62页 |