动态对等群中的群密钥管理研究
| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-10页 |
| 符号与缩写 | 第10-11页 |
| 1 绪论 | 第11-19页 |
| ·研究目的及意义 | 第11-13页 |
| ·国内外研究现状 | 第13-17页 |
| ·本文研究特点 | 第17-18页 |
| ·内容组织 | 第18-19页 |
| 2 基本理论 | 第19-29页 |
| ·密码体制 | 第19-20页 |
| ·密钥管理 | 第20-21页 |
| ·Diffie-Hellman密钥交换 | 第21-23页 |
| ·基于身份密码学 | 第23-25页 |
| ·计算困难性问题、常见攻击模式及安全术语 | 第25-28页 |
| ·本章小结 | 第28-29页 |
| 3 BD协议及TGDH协议的分析 | 第29-34页 |
| ·BD协议介绍 | 第29-30页 |
| ·TGDH协议介绍 | 第30-33页 |
| ·本章小结 | 第33-34页 |
| 4 DPG中可认证的有效的群密钥协商方案 | 第34-45页 |
| ·群密钥协商的概念 | 第34-35页 |
| ·群密钥协商中的两种算法 | 第35-36页 |
| ·群密钥协商算法的具体实施 | 第36-43页 |
| ·基于身份的数字签名算法 | 第43-44页 |
| ·本章小结 | 第44-45页 |
| 5 协议分析 | 第45-51页 |
| ·通信量与计算量分析 | 第45-48页 |
| ·安全性分析 | 第48-50页 |
| ·本章小结 | 第50-51页 |
| 6 基于身份的数字签名算法的安全性证明 | 第51-58页 |
| ·形式化的安全性证明 | 第51-52页 |
| ·安全性证明的基本工具 | 第52-54页 |
| ·难解问题的困难性证明 | 第54页 |
| ·对签名算法的证明 | 第54-57页 |
| ·总结 | 第57-58页 |
| 7 算法的实现 | 第58-66页 |
| ·Miracle库简介 | 第58-59页 |
| ·运行环境 | 第59页 |
| ·实现目标 | 第59页 |
| ·群密钥协商算法的实现 | 第59-61页 |
| ·数字签名算法的实现 | 第61-65页 |
| ·本章小结 | 第65-66页 |
| 8 总结与展望 | 第66-68页 |
| 参考文献 | 第68-71页 |
| 作者在读期间科研成果简介 | 第71-73页 |
| 致谢 | 第73页 |
