第一个书签之前
摘要
ABSTRACT
插图索引
表格索引
符号对照表
缩略语对照表
第一章 绪论
1.1 投票系统的发展历程
1.2 电子公告牌及研究现状
1.3 分布式共识算法的研究现状
1.4 本文的研究内容及结构安排
第二章 相关理论及技术
2.1 分布式网络
2.1.1 模型
2.1.2 容错机制
2.1.3 拜占庭协定
2.1.4 共识机制
2.1.5 FLP不可能问题
2.2 复制状态机
2.2.1 复制状态机
2.2.2 容错状态机
2.3 实用拜占庭崩溃容错协议
2.4 密码学相关技术
2.4.1 散列函数
2.4.2 公开密钥加密
2.4.3 数字签名技术
2.5 本章小结
第三章 高效拜占庭容错协议的研究
3.1 协议概观
3.2 ESBC核心协议
3.2.1 系统模型和概览
3.2.2 详细协议
3.3 证明
3.3.1 协定性
3.3.2 终止性
3.3.3 一种特殊情况
3.4 基于ESBC的复制状态机
3.4.1 模型和系统概览
3.4.2 复制状态机协议
3.5 同步协议算法
3.6 拜占庭问题
3.6.1 拜占庭广播
3.6.2 拜占庭共识
3.7 本章小结
第四章 基于改进ESBC的电子投票公告牌系统
4.1 公告牌系统模型
4.2 问题分析
4.3 基于ESBC的电子公告牌系统概述
4.4 收集投票阶段
4.5 投票同步阶段
4.5.1 概述
4.5.2 改进ESBC协议
4.5.3 消息的有效性定义
4.5.4 非同时终止
4.5.5 领导者更换
4.5.6 协议终止策略
4.6 投票合并及提交
4.7 投票查询阶段
4.8 证明
4.8.1 协定性
4.8.2 终止性
4.8.3 一种特殊情况
4.9 本章小结
第五章 测试与分析
5.1 ESBC协议性能测试
5.1.1 测试环境
5.1.2 延迟测试
5.1.3 非同步延迟
5.1.4 总结
5.2 电子投票公告牌系统测试
5.2.1 实现
5.2.2 关键数据选取
5.2.3 性能测试
5.2.4 查询功能及容错测试
5.2.5 本章小结
第六章 总结与展望
参考文献
致谢
作者简介