基于身份的AKA协议若干问题研究
| 摘要 | 第1-10页 |
| ABSTRACT | 第10-12页 |
| 第一章 引言 | 第12-18页 |
| ·研究背景 | 第12-14页 |
| ·研究现状 | 第14-16页 |
| ·基于身份AKA协议 | 第14-15页 |
| ·可证明安全简介 | 第15-16页 |
| ·论文内容安排 | 第16-18页 |
| 第二章 基础知识 | 第18-28页 |
| ·攻击方法与安全属性 | 第18-21页 |
| ·形式化安全模型 | 第21-24页 |
| ·基本思想 | 第21页 |
| ·扩展的eCK模型 | 第21-23页 |
| ·模型分析 | 第23-24页 |
| ·相关密码组件与关键技术 | 第24-27页 |
| ·本章小结 | 第27-28页 |
| 第三章 含双线性对的基于身份AKA协议 | 第28-37页 |
| ·含对运算的基于身份AKA协议 | 第28-30页 |
| ·安全性证明 | 第30-35页 |
| ·测试会话的匹配会话不存在的情况 | 第30-34页 |
| ·测试会话的匹配会话存在的情况 | 第34-35页 |
| ·协议性能分析 | 第35-36页 |
| ·本章小结 | 第36-37页 |
| 第四章 无双线性对的基于身份AKA协议 | 第37-46页 |
| ·无对运算的基于身份AKA协议 | 第37-38页 |
| ·基于身份XCR数字签名 | 第38-42页 |
| ·基于身份XCR签名体制 | 第38-41页 |
| ·基于身份DXCR签名体制 | 第41-42页 |
| ·安全性证明 | 第42-44页 |
| ·协议性能分析 | 第44-45页 |
| ·本章小结 | 第45-46页 |
| 第五章 一种标准模型下的基于身份AKA协议 | 第46-54页 |
| ·扩展的ID-BJM模型 | 第46-47页 |
| ·改进的有效扩展协议 | 第47-50页 |
| ·安全性证明 | 第50-52页 |
| ·协议性能分析 | 第52-53页 |
| ·本章小结 | 第53-54页 |
| 结束语 | 第54-56页 |
| 参考文献 | 第56-60页 |
| 作者简历 攻读硕士学位期间完成的主要工作 | 第60-61页 |
| 致谢 | 第61页 |
