| 摘要 | 第1-10页 |
| ABSTRACT | 第10-11页 |
| 第一章 绪论 | 第11-17页 |
| ·课题背景 | 第11-12页 |
| ·课题研究现状与发展 | 第12-14页 |
| ·WLAN安全机制的研究现状 | 第12-13页 |
| ·WAPI的研究现状 | 第13-14页 |
| ·课题研究的目标、内容和意义 | 第14-15页 |
| ·课题研究的目标 | 第14-15页 |
| ·课题主要研究内容 | 第15页 |
| ·课题研究的意义 | 第15页 |
| ·论文结构 | 第15-17页 |
| 第二章 无线局域网(WLAN)安全机制研究 | 第17-30页 |
| ·WLAN体系结构与工作模式 | 第17-19页 |
| ·WLAN面临的威胁 | 第19-23页 |
| ·WLAN的安全要求 | 第23-24页 |
| ·WLAN的安全技术 | 第24-29页 |
| ·对称密钥密码技术 | 第24-25页 |
| ·公钥密码技术 | 第25-27页 |
| ·PKI技术 | 第27-29页 |
| ·本章小结 | 第29-30页 |
| 第三章 WAPI安全性分析与改进 | 第30-42页 |
| ·WAPI概述 | 第30-32页 |
| ·WAPI安全性分析 | 第32-36页 |
| ·实体认证的安全缺陷 | 第33-34页 |
| ·密钥协商协议的安全缺陷 | 第34-35页 |
| ·计算瓶颈与拒绝服务攻击 | 第35页 |
| ·公/私钥对的多用途 | 第35-36页 |
| ·WAPI改进 | 第36-41页 |
| ·实体认证协议的改进 | 第36-37页 |
| ·密钥协商协议的改进 | 第37-38页 |
| ·改进后的WAPI安全性分析 | 第38-40页 |
| ·改进后的WAPI效率分析 | 第40-41页 |
| ·本章小结 | 第41-42页 |
| 第四章 基于BAN逻辑的密钥协商改进协议的安全性验证 | 第42-48页 |
| ·概述 | 第42页 |
| ·改进的密钥协商协议的分析 | 第42-44页 |
| ·安全性分析 | 第42-43页 |
| ·效率分析 | 第43-44页 |
| ·基于BAN逻辑的正确性验证 | 第44-46页 |
| ·BAN逻辑推理规则 | 第44-45页 |
| ·基于BAN逻辑的WAPI协议正确性推导 | 第45-46页 |
| ·本章小结 | 第46-48页 |
| 第五章 WAPI实体鉴别协议原型系统的设计与实现 | 第48-66页 |
| ·WAPI鉴别服务器设计 | 第48-52页 |
| ·鉴别服务系统功能分析 | 第48-50页 |
| ·鉴别服务器系统规划 | 第50-51页 |
| ·数据存储规划 | 第51页 |
| ·开发环境 | 第51-52页 |
| ·WAPI鉴别服务器的实现 | 第52-64页 |
| ·相关数据库表 | 第53-54页 |
| ·证书颁发模块的实现 | 第54-58页 |
| ·证书撤销模块的实现 | 第58-59页 |
| ·证书更新模块的实现 | 第59-61页 |
| ·鉴别服务器模块设计 | 第61-64页 |
| ·ASU的部署与应用 | 第64-65页 |
| ·本章小结 | 第65-66页 |
| 第六章 结束语 | 第66-67页 |
| 致谢 | 第67-68页 |
| 参考文献 | 第68-71页 |
| 作者在学期间取得的学术成果 | 第71页 |