| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 第1章 绪论 | 第8-14页 |
| 1.1 课题背景及研究的目的和意义 | 第8-10页 |
| 1.2 国内外研究现状及成果 | 第10-12页 |
| 1.2.1 3PAKE协议模式的发展历程 | 第10-11页 |
| 1.2.2 3PAKE协议的国内外文献综述 | 第11-12页 |
| 1.3 课题主要研究内容 | 第12-13页 |
| 1.4 论文章节安排 | 第13-14页 |
| 第2章 针对现有AKE协议的攻击与改进 | 第14-28页 |
| 2.1 对LEE-3PAKE协议的攻击 | 第14-17页 |
| 2.2 对LI-3PAKE协议的攻击 | 第17-19页 |
| 2.3 对GUO-3PAKE协议的攻击与改进 | 第19-23页 |
| 2.4 对XIA-AKE协议的分析与改进 | 第23-27页 |
| 2.5 本章小结 | 第27-28页 |
| 第3章 无需智能卡的 3PAKE协议 | 第28-35页 |
| 3.1 切比雪夫的CHAOTIC MAPS理论 | 第28-29页 |
| 3.2 协议描述 | 第29-33页 |
| 3.3 安全性分析 | 第33-34页 |
| 3.4 本章小结 | 第34-35页 |
| 第4章 基于智能卡的 3PAKE协议 | 第35-44页 |
| 4.1 基于高可靠智能卡的 3PAKE协议 | 第35-39页 |
| 4.1.1 高可靠智能卡类型的该协议描述 | 第36-37页 |
| 4.1.2 高可靠智能卡类型的该协议安全性分析 | 第37-39页 |
| 4.2 基于信息泄露容错智能卡的 3PAKE协议 | 第39-43页 |
| 4.2.1 信息泄露容错智能卡类型的该协议描述 | 第39-42页 |
| 4.2.2 信息泄露容错智能卡类型的该协议安全性分析 | 第42-43页 |
| 4.3 本章小结 | 第43-44页 |
| 第5章 理论安全证明与实验分析 | 第44-61页 |
| 5.1 基于BAN逻辑的安全证明 | 第44-49页 |
| 5.1.1 BAN逻辑的基本框架 | 第44-45页 |
| 5.1.2 安全性证明过程 | 第45-49页 |
| 5.2 基于概率的安全证明 | 第49-53页 |
| 5.2.1 安全模型 | 第50-51页 |
| 5.2.2 假设前提 | 第51页 |
| 5.2.3 安全性证明过程 | 第51-53页 |
| 5.3 实验分析 | 第53-60页 |
| 5.3.1 实验性能对比分析 | 第53-57页 |
| 5.3.2 协议的系统实现 | 第57-60页 |
| 5.4 本章小结 | 第60-61页 |
| 结论 | 第61-62页 |
| 参考文献 | 第62-67页 |
| 攻读硕士学位期间发表的论文及其它成果 | 第67-69页 |
| 致谢 | 第69页 |