分布式密码协议及公平性研究
| 作者简介 | 第1-6页 |
| 摘要 | 第6-8页 |
| Abstract | 第8-15页 |
| 第一章 绪论 | 第15-27页 |
| §1.1 研究背景 | 第15-18页 |
| §1.2 分布式密码协议 | 第18-22页 |
| ·秘密共享 | 第18-19页 |
| ·理性秘密共享 | 第19-20页 |
| ·安全多方计算 | 第20-22页 |
| §1.3 公平性问题 | 第22-23页 |
| §1.4 主要研究内容与结构安排 | 第23-27页 |
| ·主要研究内容 | 第23-25页 |
| ·本文结构安排 | 第25-27页 |
| 第二章 安全通信协议博弈论机制 | 第27-43页 |
| §2.1 引言 | 第27-28页 |
| §2.2 基本概念 | 第28-30页 |
| ·扩展式博弈 | 第28-29页 |
| ·策略和纳什均衡 | 第29-30页 |
| §2.3 安全协议的博弈论分析 | 第30-31页 |
| §2.4 安全协议的博弈模型 | 第31-35页 |
| ·参与者 | 第31-32页 |
| ·信息集 | 第32页 |
| ·可行策略 | 第32-33页 |
| ·行动序列和参与者函数 | 第33-34页 |
| ·效用函数 | 第34-35页 |
| §2.5 理性安全通信协议的形式化定义 | 第35-39页 |
| ·实例 | 第35-36页 |
| ·形式化定义 | 第36-39页 |
| §2.6 实验 | 第39-41页 |
| §2.7 本章小结 | 第41-43页 |
| 第三章 群组通信的通用可组合机制 | 第43-59页 |
| §3.1 引言 | 第43-44页 |
| §3.2 基本概念 | 第44-47页 |
| ·UC框架 | 第44-45页 |
| ·基于身份的签密 | 第45-47页 |
| §3.3 理想函数 | 第47-51页 |
| ·理想函数FSAGCOM | 第47页 |
| ·理想函数FIDSC | 第47-50页 |
| ·理想函数FGKD | 第50-51页 |
| §3.4 安全实现FIDSC | 第51-54页 |
| ·协议πIDSC | 第51页 |
| ·协议πIDSC的安全性证明 | 第51-54页 |
| §3.5 安全实现FSAGCOM | 第54-58页 |
| ·系统描述 | 第55页 |
| ·协议πSAGCOM | 第55页 |
| ·协议πSAGCOM的安全性证明 | 第55-58页 |
| §3.6 本章小结 | 第58-59页 |
| 第四章 秘密共享体制及其博弈论分析 | 第59-79页 |
| §4.1 引言 | 第59-61页 |
| §4.2 准备知识 | 第61-63页 |
| ·双线性对及相关假设 | 第61-62页 |
| ·秘密共享体制 | 第62页 |
| ·博弈论概念 | 第62-63页 |
| ·安全多方计算协议 | 第63页 |
| ·健忘传输协议 | 第63页 |
| §4.3 可验证秘密共享方案 | 第63-69页 |
| ·方案描述 | 第63-64页 |
| ·正确性与安全性分析 | 第64-67页 |
| ·信息率 | 第67-68页 |
| ·性能分析 | 第68-69页 |
| §4.4 秘密共享体制的博弈论分析 | 第69-77页 |
| ·效用函数分析 | 第69-70页 |
| ·秘密分发协议的博弈论分析 | 第70-73页 |
| ·秘密重构协议的博弈论分析 | 第73-77页 |
| §4.5 本章小结 | 第77-79页 |
| 第五章 公平的秘密共享方案 | 第79-91页 |
| §5.1 引言 | 第79-81页 |
| §5.2 基本概念 | 第81-83页 |
| ·Shamir(t,n)-SS | 第81-82页 |
| ·一致性(Consistency) | 第82页 |
| ·公平性 | 第82-83页 |
| §5.3 具有公平性质的方案 | 第83页 |
| ·Distribution协议 | 第83页 |
| ·Reconstruction协议 | 第83页 |
| §5.4 安全性和公平性证明 | 第83-88页 |
| §5.5 性能分析 | 第88-90页 |
| §5.6 本章小结 | 第90-91页 |
| 第六章 结束语 | 第91-95页 |
| §6.1 本文主要研究成果 | 第91-92页 |
| §6.2 进一步研究方向 | 第92-95页 |
| 致谢 | 第95-97页 |
| 参考文献 | 第97-105页 |
| 攻读博士学位期间发表的论文 | 第105-106页 |
