可实用的拜占庭容错系统理论研究
| 摘要 | 第1-4页 |
| Abstract | 第4-9页 |
| 第一章 绪论 | 第9-15页 |
| ·研究目的 | 第9-11页 |
| ·研究问题 | 第11-12页 |
| ·本文贡献 | 第12-13页 |
| ·论文组织 | 第13-15页 |
| 第二章 拜占庭容错系统综述 | 第15-25页 |
| ·拜占庭一致性协议 | 第15-18页 |
| ·同步拜占庭一致性协议 | 第16-17页 |
| ·异步拜占庭一致性协议 | 第17-18页 |
| ·群成员协议 | 第18-22页 |
| ·容错系统 | 第22-23页 |
| ·小结 | 第23-25页 |
| 第三章 拜占庭群成员协议 | 第25-38页 |
| ·系统模型 | 第25-26页 |
| ·协议语义 | 第26-27页 |
| ·协议算法 | 第27-35页 |
| ·Quorum System | 第28页 |
| ·系统初始化 | 第28-29页 |
| ·群成员协议 | 第29-33页 |
| ·加入协议 | 第33-34页 |
| ·离开协议 | 第34-35页 |
| ·稳定视图消息 | 第35-36页 |
| ·客户端 | 第36-37页 |
| ·小结 | 第37-38页 |
| 第四章 群协议的 I/O 自动模型证明 | 第38-56页 |
| ·I/O 状态机 | 第38-39页 |
| ·群协议的 I/O 系统模型 | 第39-41页 |
| ·群成员协议自动机规范 S | 第41-43页 |
| ·各模块的自动机构造 | 第43-47页 |
| ·多播通道自动机 | 第43-44页 |
| ·代理自动机 | 第44-45页 |
| ·群成员自动机 | 第45-47页 |
| ·正确性证明 | 第47-55页 |
| ·不变量证明 | 第47-49页 |
| ·群成员协议正确性证明 | 第49-55页 |
| ·小结 | 第55-56页 |
| 第五章 可实用广播协议 | 第56-69页 |
| ·稳定视图内的可实用拜占庭一致性协议 | 第56-64页 |
| ·协议模型 | 第56-57页 |
| ·协议属性 | 第57页 |
| ·协议算法 | 第57-63页 |
| ·垃圾收集 | 第63-64页 |
| ·视图变更下的一致性协议变化 | 第64-68页 |
| ·视图状态一致 | 第64-65页 |
| ·服务状态信息一致 | 第65-67页 |
| ·新成员获取服务状态 | 第67-68页 |
| ·小结 | 第68-69页 |
| 第六章 性能模型和评估 | 第69-88页 |
| ·消息格式 | 第69-72页 |
| ·群协议消息格式 | 第69-71页 |
| ·一致性协议消息格式 | 第71-72页 |
| ·成员模型及其参数 | 第72-77页 |
| ·公钥签名计算模型及其参数 | 第72-74页 |
| ·消息摘要计算模型及其参数 | 第74页 |
| ·消息认证码计算模型及其参数 | 第74-75页 |
| ·通信模型及其参数 | 第75-77页 |
| ·延迟模型 | 第77-84页 |
| ·群成员协议加入操作延迟 | 第78-81页 |
| ·成员协议离开操作延迟 | 第81页 |
| ·一致性协议只读操作延迟 | 第81-83页 |
| ·一致性协议读写操作延迟 | 第83-84页 |
| ·性能评估 | 第84-87页 |
| ·群成员协议加入与离开性能 | 第84-86页 |
| ·一致性协议读写操作性能 | 第86页 |
| ·性能模型分析 | 第86-87页 |
| ·小结 | 第87-88页 |
| 第七章 拜占庭容错在 LDAP 及其它领域的应用 | 第88-102页 |
| ·拜占庭容错的 LDAP 系统 | 第88-93页 |
| ·LDAP 系统安全分析及其安全缺陷 | 第88-90页 |
| ·可拜占庭容错的 LDAP 系统 | 第90-92页 |
| ·BFTLDAP 系统性能分析 | 第92-93页 |
| ·多层结构的拜占庭容错 LDAP 系统 | 第93-96页 |
| ·多层结构的 LDAP 系统 | 第94-95页 |
| ·缓存机制 | 第95-96页 |
| ·拜占庭容错网格系统 | 第96-99页 |
| ·Globus 体系结构及其安全分析 | 第96-97页 |
| ·拜占庭容错网格体系结构 | 第97-98页 |
| ·多层结构的拜占庭容错 GRID 系统 | 第98-99页 |
| ·容错系统的应用领域 | 第99-100页 |
| ·己有的应用领域 | 第99-100页 |
| ·可应用领域 | 第100页 |
| ·小结 | 第100-102页 |
| 第八章 结论和展望 | 第102-104页 |
| ·结论 | 第102-103页 |
| ·展望 | 第103-104页 |
| 附录A 基于 RSA 的前摄性签名共享 | 第104-115页 |
| A.1 前摄性签名共享 | 第104-105页 |
| A.2 基于 RSA 前摄性签名共享算法 | 第105-115页 |
| A:2.1 算法参数设置 | 第106页 |
| A.2.2 前摄性秘密共享算法 | 第106-110页 |
| A.2.3 基于 RSA 门限签名算法 | 第110-112页 |
| A.2.4 基于 RSA 的前摄性签名共享算法 | 第112-115页 |
| 参考文献 | 第115-125页 |
| 作者在博士期间发表的文章 | 第125-127页 |
| 致谢 | 第127页 |
