WiMAX网络中认证密钥协商协议设计与分析
| 摘要 | 第1-9页 |
| ABSTRACT | 第9-10页 |
| 第一章 绪论 | 第10-16页 |
| ·WiMAX安全技术研究现状 | 第10-12页 |
| ·RSA认证协议安全性分析 | 第10-11页 |
| ·EAP认证协议安全性分析 | 第11-12页 |
| ·WiMAX网络安全技术发展趋势 | 第12页 |
| ·安全协议形式化分析理论 | 第12-15页 |
| ·论文工作 | 第15-16页 |
| 第二章 基础知识 | 第16-23页 |
| ·论文中使用到的符号 | 第16页 |
| ·Rubin逻辑及其分析方法 | 第16-17页 |
| ·Rubin逻辑中的状态集合 | 第17-18页 |
| ·Rubin逻辑中的动作和推理规则 | 第18-21页 |
| ·Rubin逻辑中的其它概念 | 第21-22页 |
| ·本章小结 | 第22-23页 |
| 第三章 WiMAX认证协议形式化分析 | 第23-39页 |
| ·对RSA认证协议的分析 | 第23-30页 |
| ·规范协议 | 第23-26页 |
| ·分析协议 | 第26-30页 |
| ·对EAP-TLS认证协议的分析 | 第30-38页 |
| ·规范协议 | 第30-34页 |
| ·分析协议 | 第34-38页 |
| ·本章小结 | 第38-39页 |
| 第四章 基于身份的WiMAX认证协议 | 第39-48页 |
| ·使用基于身份密码体制构建协议 | 第39-40页 |
| ·协议的设计方案 | 第40-41页 |
| ·系统参数 | 第40页 |
| ·具体方案 | 第40页 |
| ·协议运行 | 第40-41页 |
| ·正确性分析 | 第41页 |
| ·从定性的角度分析新协议方案的安全性 | 第41-42页 |
| ·新协议方案的形式化分析 | 第42-47页 |
| ·规范协议 | 第42-45页 |
| ·分析协议 | 第45-47页 |
| ·新协议方案的性能分析 | 第47页 |
| ·本章小结 | 第47-48页 |
| 第五章 WiMAX网络端到端安全协议 | 第48-64页 |
| ·构建WiMAX网络端到端安全协议 | 第48页 |
| ·端到端安全协议设计方案 | 第48-50页 |
| ·系统参数 | 第48-49页 |
| ·具体方案 | 第49-50页 |
| ·协议运行 | 第50页 |
| ·正确性分析 | 第50-51页 |
| ·从定性的角度分析新端到端协议的安全性 | 第51-52页 |
| ·新端到端安全协议的形式化分析 | 第52-62页 |
| ·规范协议 | 第52-59页 |
| ·分析协议 | 第59-62页 |
| ·新端到端安全协议的性能分析 | 第62-63页 |
| ·本章小结 | 第63-64页 |
| 第六章 结束语 | 第64-65页 |
| ·全文总结 | 第64页 |
| ·研究展望 | 第64-65页 |
| 参考文献 | 第65-69页 |
| 作者简历 攻读硕士学位期间完成的主要工作 | 第69-70页 |
| 致谢 | 第70页 |
