| 摘要 | 第3-4页 |
| Abstract | 第4页 |
| 第一章 无线局域网 | 第7-11页 |
| 1.1 无线局域网及其特性 | 第7页 |
| 1.2 无线局域网组成 | 第7-9页 |
| 1.2.1 IEEE 802.11 标准 | 第7页 |
| 1.2.2 IEEE 802.11 标准的架构 | 第7-9页 |
| 1.2.2.1 基本服务集合 | 第8页 |
| 1.2.2.2 分布式系统 | 第8-9页 |
| 1.2.2.3 扩展服务集合 | 第9页 |
| 1.3 逻辑服务接口 | 第9-10页 |
| 1.4 无线局域网基于安全方法的分类 | 第10-11页 |
| 1.4.1 Pre-RSNA 简介 | 第10页 |
| 1.4.2 RSNA 简介 | 第10-11页 |
| 第二章 健壮的安全网络连接 | 第11-16页 |
| 2.1 RSNA 特性 | 第11页 |
| 2.2 RSNA 数据机密性协议 | 第11页 |
| 2.3 RSNA 安全连接管理 | 第11-12页 |
| 2.4 RSNA 密钥与密钥分配 | 第12-13页 |
| 2.5 RSNA 建立过程 | 第13-16页 |
| 第三章 四次握手协议 | 第16-25页 |
| 3.1 四次握手的前提 | 第16页 |
| 3.2 四次握手的假设 | 第16-17页 |
| 3.3 四次握手的目标 | 第17页 |
| 3.4 四次握手的参与者 | 第17-21页 |
| 3.4.1 EAPOL-Key 帧 | 第17-21页 |
| 3.4.1.1 EAPOL-Key 帧结构 | 第17-20页 |
| 3.4.1.2 EAPOL 帧表示法 | 第20页 |
| 3.4.1.3 四次握手协议使用的EAPOL-Key 帧 | 第20-21页 |
| 3.4.2 认证者 | 第21页 |
| 3.4.3 申请者 | 第21页 |
| 3.5 四次握手的机制 | 第21-23页 |
| 3.6 四次握手的过程 | 第23-25页 |
| 第四章 四次握手协议模型 | 第25-38页 |
| 4.1 Colored Petri Nets | 第25-26页 |
| 4.1.1 Colored Petri Nets 简介 | 第25页 |
| 4.1.2 CPN Tools | 第25-26页 |
| 4.2 四次握手协议CPN 模型的建立 | 第26-29页 |
| 4.2.1 四次握手CPN 模型的声明 | 第26-29页 |
| 4.2.1.1 密钥模型的声明 | 第26-27页 |
| 4.2.1.2 消息模型的声明 | 第27-28页 |
| 4.2.1.3 认证者模型的声明 | 第28页 |
| 4.2.1.4 申请者模型的声明 | 第28-29页 |
| 4.3 四次握手协议CPN 模型的仿真 | 第29-38页 |
| 第五章 四次握手协议的安全性分析 | 第38-50页 |
| 5.1 无线局域网的安全隐患 | 第38-39页 |
| 5.2 针对四次握手协议的攻击 | 第39-42页 |
| 5.2.1 对四次握手协议DoS 攻击的整体分析 | 第39页 |
| 5.2.2 单一仿制消息1 DoS 攻击 | 第39-41页 |
| 5.2.3 洪泛仿制消息1 DoS 攻击 | 第41-42页 |
| 5.3 单一仿制消息1 DoS 攻击四次握手协议的CPN 模型 | 第42-47页 |
| 5.3.1 单一仿制消息1 DoS 攻击四次握手协议的CPN 模型的声明 | 第42页 |
| 5.3.2 单一仿制消息1 DoS 攻击四次握手协议的CPN 模型的仿真 | 第42-47页 |
| 5.4 四次握手协议的改进 | 第47-50页 |
| 5.4.1 针对四次握手协议已提出的改进方案 | 第47-49页 |
| 5.4.1.1 消息1 MIC 认证改进方案 | 第47-48页 |
| 5.4.1.2 随机数重用改进方案 | 第48页 |
| 5.4.1.3 两路握手改进方案 | 第48页 |
| 5.4.1.4 动态权衡改进方案 | 第48-49页 |
| 5.4.2 理想的四次握手协议改进方案的特征 | 第49-50页 |
| 第六章 四次握手协议消息1 KRC 认证改进方案 | 第50-59页 |
| 6.1 消息1 KRC 认证改进方案的目标 | 第50-51页 |
| 6.2 消息1 KRC 认证改进方案对四次握手参与者的改进 | 第51页 |
| 6.3 消息1 KRC 认证改进方案对消息1 认证机制的改进 | 第51页 |
| 6.4 消息1 KRC 认证改进方案对消息1 认证过程的改进 | 第51-52页 |
| 6.5 消息1 KRC 认证改进方案的理论性验证 | 第52-53页 |
| 6.6 消息1 KRC 认证改进的四次握手协议CPN 模型 | 第53页 |
| 6.7 消息1 KRC 认证改进的四次握手协议CPN 模型的仿真 | 第53-56页 |
| 6.8 消息1 KRC 认证改进方案的优点 | 第56-59页 |
| 6.8.1 消息1 KRC 认证改进方案与消息1 MIC 认证改进方案的比较 | 第57页 |
| 6.8.2 消息1 KRC 认证改进方案与随机数重用改进方案的比较 | 第57-58页 |
| 6.8.3 消息1 KRC 认证改进方案与两路握手改进方案的比较 | 第58页 |
| 6.8.4 消息1 KRC 认证改进方案与动态权衡改进方案的比较 | 第58-59页 |
| 第七章 总结 | 第59-60页 |
| 参考文献 | 第60-62页 |
| 附录 | 第62-79页 |
| 附录1 四次握手协议遭受单一仿制消息1 DoS 攻击CPN 模型仿真报告 | 第62-70页 |
| 附录2 改进的四次握手协议成功抵御单一仿制消息1DoS 攻击CPN 模型仿真报告 | 第70-79页 |
| 致谢 | 第79页 |
