| 摘要 | 第1-7页 |
| Abstract | 第7-11页 |
| 第一章 绪论 | 第11-15页 |
| ·课题的背景及意义 | 第11-12页 |
| ·国内外的研究现状 | 第12-13页 |
| ·国外研究现状 | 第12-13页 |
| ·国内研究现状 | 第13页 |
| ·主要工作及论文结构安排 | 第13-15页 |
| 第二章 容忍入侵系统及嵌入式系统 | 第15-26页 |
| ·入侵模型 | 第15-16页 |
| ·容忍入侵系统基本理论 | 第16-17页 |
| ·容忍入侵基本技术 | 第17-19页 |
| ·容忍入侵技术的特点 | 第17-18页 |
| ·常用的入侵容忍技术 | 第18-19页 |
| ·嵌入式系统及其安全需求 | 第19-25页 |
| ·嵌入式系统的概念及特点 | 第19-21页 |
| ·分布式嵌入式系统的特点 | 第21页 |
| ·嵌入式系统的安全问题 | 第21-23页 |
| ·分布式嵌入式系统中使用容忍入侵技术的必要性 | 第23-25页 |
| ·本章小结 | 第25-26页 |
| 第三章 面向嵌入式的复制技术的研究 | 第26-41页 |
| ·对象复制技术的分析 | 第26-28页 |
| ·基于部分复制的半主动复制的思想 | 第28-30页 |
| ·基于部分复制和半主动复制的分布式嵌入式系统结构 | 第30-33页 |
| ·基于部分复制的保证全局正确性的协议 | 第33-36页 |
| ·部分复制对整个系统正确性的影响 | 第34-35页 |
| ·协议的相关定义及符号说明 | 第35页 |
| ·串行化表协议 | 第35-36页 |
| ·协议正确性的证明 | 第36页 |
| ·半主动复制协议 | 第36-40页 |
| ·协议中的变量、通信原语及相关函数说明 | 第36-37页 |
| ·协议实现 | 第37-38页 |
| ·协议运行的一个例子 | 第38-40页 |
| ·复制技术的分析 | 第40页 |
| ·本章小结 | 第40-41页 |
| 第四章 基于历史信息和自检测的表决技术 | 第41-58页 |
| ·表决机制 | 第41-44页 |
| ·表决技术的提出 | 第41-42页 |
| ·表决的概念 | 第42页 |
| ·表决的理论 | 第42-43页 |
| ·表决方法的分类 | 第43-44页 |
| ·面向分布式嵌入式的表决模型 | 第44-46页 |
| ·改进的表决算法 | 第46-51页 |
| ·常用的表决算法的不足 | 第46-47页 |
| ·改进的思想 | 第47-48页 |
| ·复制品历史记录值的建立方法和自检测信息的获取方法 | 第48-50页 |
| ·算法的描述 | 第50-51页 |
| ·表决器算法的实现 | 第51-56页 |
| ·相关变量和函数说明 | 第51-52页 |
| ·算法的具体实现 | 第52-56页 |
| ·分布式嵌入式系统重配置 | 第56-57页 |
| ·本章小结 | 第57-58页 |
| 第五章 仿真实验及性能分析 | 第58-68页 |
| ·仿真实验环境 | 第58-60页 |
| ·系统测试的界面 | 第60-61页 |
| ·性能比较分析 | 第61-67页 |
| ·本章小结 | 第67-68页 |
| 第六章 总结与展望 | 第68-69页 |
| ·本文总结 | 第68页 |
| ·展望 | 第68-69页 |
| 致谢 | 第69-70页 |
| 参考文献 | 第70-74页 |
| 攻读硕士期间发表的论文 | 第74页 |