基于复制的容忍入侵系统研究
| 第一章 绪论 | 第1-13页 |
| 1． 1 容忍入侵系统概述 | 第7-9页 |
| 1． 1． 1 容忍入侵概念 | 第7-8页 |
| 1． 1． 2 容忍入侵原理 | 第8-9页 |
| 1． 2 复制 | 第9-11页 |
| ·部分复制 | 第10页 |
| 1． 2． 2 复制技术 | 第10-11页 |
| 1． 2． 3 半被动复制 | 第11页 |
| 1． 3 全序广播和多播 | 第11页 |
| 1． 4 本文的工作 | 第11-13页 |
| 第二章 基于复制的容忍入侵系统 | 第13-21页 |
| 2． 1 系统模型 | 第13-15页 |
| 2． 2 部分复制下保证全局正确的协议 | 第15-18页 |
| 2． 2． 1 部分复制对整个系统正确性的影响： | 第15-16页 |
| 2． 2． 2 部分复制下保证正确性的协议 | 第16-17页 |
| 2． 2． 3 正确性的证明 | 第17-18页 |
| 2． 3 实验 | 第18页 |
| 2． 4 结论 | 第18-21页 |
| 第三章 半被动复制 | 第21-33页 |
| 3． 1 半被动复制简介 | 第21-22页 |
| 3． 2 复制技术的规范 | 第22-23页 |
| 3． 3 DIV一致性算法 | 第23-26页 |
| 3． 3 . 1 DIV一致性定义 | 第23页 |
| 3． 3． 2 DIV一致性的规范 | 第23-24页 |
| 3． 3． 3 DIV一致性算法 | 第24-26页 |
| 3． 4 半被动复制算法 | 第26-33页 |
| 3． 4． 1 标记和模型 | 第27页 |
| 3． 4． 2 半被动复制算法 | 第27-29页 |
| 3． 4． 3 正常运行下的半被动复制 | 第29页 |
| 3． 4． 4 一个进程崩溃的情况下的半被动复制 | 第29-30页 |
| 3． 4． 5 半被动复制的正确性 | 第30-33页 |
| 第四章 基于排序机制的全序广播算法分类与性能分析 | 第33-59页 |
| 4． 1 系统模型及相关定义 | 第33-38页 |
| 4． 1． 1 符合表示 | 第34页 |
| 4． 1． 2 基本的系统模型 | 第34页 |
| 4． 1． 3 全序广播和多播的规范 | 第34-36页 |
| 4． 1． 4 其他的排序性质 | 第36-37页 |
| 4． 1． 5 目的方的性质 | 第37页 |
| 4． 1． 6 偏序 | 第37页 |
| 4． 1． 7 容错机制 | 第37-38页 |
| 4． 2 基于排序机制的全序广播和多播的算法分类 | 第38-47页 |
| 4． 2． 1 基于通信记录的算法类 | 第38-40页 |
| 4． 2． 2 基于优先权的算法类 | 第40-41页 |
| 4． 2． 3 基于动态序列器的算法类 | 第41-43页 |
| 4． 2． 4 基于固定序列器的算法类 | 第43-45页 |
| 4． 2． 5 基于目的方一致算法类 | 第45-47页 |
| 4． 3 基于排序机制的五类算法的定性分析 | 第47-50页 |
| 4． 3． 1 规范的比较 | 第47-48页 |
| 4． 3． 2 排序机制的比较： | 第48-49页 |
| 4． 3． 3 应用模型的比较 | 第49页 |
| 4． 3． 4 非统一性算法扩展为统一性算法 | 第49页 |
| 4． 3． 5 小结 | 第49-50页 |
| 4． 4． 基于排序机制的算法类的定量分析 | 第50-52页 |
| 4． 5 已有的各类典型算法的研究 | 第52页 |
| 4． 6 结论 | 第52-59页 |
| 结束语 | 第59-61页 |
| 致谢 | 第61-63页 |
| 参考文献 | 第63-71页 |
| 在读期间的研究成果 | 第71-73页 |
| 附录A | 第73-75页 |
