三方认证密钥交换协议研究
| 摘要 | 第5-6页 |
| ABSTRACT（英文摘要） | 第6页 |
| 主要符号对照表 | 第10-11页 |
| 第一章 序言 | 第11-19页 |
| 1.1 研究背景 | 第11-17页 |
| 1.1.1 公钥密码学 | 第11-13页 |
| 1.1.2 密钥交换协议 | 第13-16页 |
| 1.1.3 密钥交换协议的形式化安全 | 第16-17页 |
| 1.1.4 三方密钥交换协议 | 第17页 |
| 1.2 研究内容 | 第17页 |
| 1.3 论文结构 | 第17-19页 |
| 第二章 预备知识 | 第19-25页 |
| 2.1 计算复杂性基础 | 第19页 |
| 2.2 抽象代数基础 | 第19-20页 |
| 2.3 双线性配对 | 第20页 |
| 2.4 困难问题及其假设 | 第20-22页 |
| 2.5 可证明安全理论 | 第22-25页 |
| 第三章 eCK认证密钥交换协议安全模型 | 第25-40页 |
| 3.1 认证密钥交换协议安全模型的发展 | 第25-30页 |
| 3.1.1 BR 模型 | 第25-27页 |
| 3.1.2 CK模型 | 第27-30页 |
| 3.2 eCK模型及协议的安全性分析 | 第30-40页 |
| 3.2.1 eCK模型 | 第30-32页 |
| 3.2.2 CK模型与eCK模型的比较分析 | 第32页 |
| 3.2.3 密钥交换协议安全模型总结 | 第32-34页 |
| 3.2.4 一个具体的eCK安全协议 | 第34-40页 |
| 第四章 三方密钥交换协议安全模型 | 第40-61页 |
| 4.1 三方认证密钥交换协议简介 | 第40-44页 |
| 4.1.1 应用背景 | 第40页 |
| 4.1.2 Joux 密钥交换协议 | 第40-41页 |
| 4.1.3 TAX协议 | 第41-44页 |
| 4.2 三方认证密钥交换协议CK模型 | 第44-46页 |
| 4.3 内部人攻击 | 第46-48页 |
| 4.4 强三方认证密钥交换协议安全模型 | 第48-50页 |
| 4.5 一个具体的协议及其安全证明 | 第50-58页 |
| 4.5.1 协议方案 | 第51-52页 |
| 4.5.2 安全证明 | 第52-57页 |
| 4.5.3 方案的比较 | 第57-58页 |
| 4.6 强安全模型的进一步研究 | 第58-61页 |
| 第五章 结论 | 第61-63页 |
| 5.1 总结 | 第61页 |
| 5.2 展望 | 第61-63页 |
| 参考文献 | 第63-66页 |
| 致谢 | 第66-67页 |
| 攻读硕士学位期间的论文 | 第67-70页 |
| 上海交通大学学位论文答辩决议书 | 第70页 |
