WLAN Mesh认证密钥协商方案的研究
| 摘要 | 第1-8页 |
| ABSTRACT | 第8-9页 |
| 插图索引 | 第9-10页 |
| 插表索引 | 第10-11页 |
| 第1章 绪论 | 第11-16页 |
| ·研究背景 | 第11-12页 |
| ·课题的研究意义 | 第12-14页 |
| ·论文的主要研究工作 | 第14-15页 |
| ·本文的内容安排 | 第15-16页 |
| 第2章 WLAN MESH 网络及研究现状 | 第16-28页 |
| ·WLAN Mesh 网络 | 第16-19页 |
| ·WLAN Mesh 网络拓扑及网络互联 | 第16-17页 |
| ·WLAN Mesh 网络标准 | 第17-18页 |
| ·WLAN Mesh 网络安全需求 | 第18-19页 |
| ·认证密钥协商概述 | 第19-22页 |
| ·认证密钥协商的研究背景 | 第19-20页 |
| ·认证密钥协商协议的发展 | 第20-21页 |
| ·认证密钥协商协议的安全属性 | 第21-22页 |
| ·WLAN Mesh 网络认证密钥协商研究现状 | 第22-23页 |
| ·协议安全性证明技术 | 第23-27页 |
| ·可证明安全方法 | 第23-25页 |
| ·形式化方法 | 第25-26页 |
| ·选用 DDMP 模型原因 | 第26-27页 |
| ·本章小结 | 第27-28页 |
| 第3章 DDMP 模型及SKE 方案形式化分析 | 第28-39页 |
| ·DDMP 模型 | 第28-35页 |
| ·协议演绎系统 | 第28-30页 |
| ·协议组合逻辑 | 第30-35页 |
| ·SKE 认证密钥协商方案的形式化分析 | 第35-37页 |
| ·SKE 认证密钥协商协议 | 第35页 |
| ·基于 PCL 的SKE 协议模型 | 第35页 |
| ·SKE 协议安全属性及证明 | 第35-37页 |
| ·本章小结 | 第37-39页 |
| 第四章 新方案的设计与证明 | 第39-49页 |
| ·数学基础 | 第39-41页 |
| ·群 | 第39页 |
| ·双线性对 | 第39-40页 |
| ·杂凑(Hash)函数 | 第40-41页 |
| ·新方案的设计与演绎 | 第41-44页 |
| ·新方案的设计 | 第41-42页 |
| ·新方案的演绎推理 | 第42-44页 |
| ·新方案的正确性和安全性证明 | 第44-48页 |
| ·基于 PCL 的协议模型 | 第44页 |
| ·安全属性及证明 | 第44-47页 |
| ·新方案的综合分析 | 第47-48页 |
| ·本章小结 | 第48-49页 |
| 结论 | 第49-50页 |
| 参考文献 | 第50-55页 |
| 致谢 | 第55-56页 |
| 附录A 攻读学位期间所发表的学术论文 | 第56页 |
