| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-12页 |
| ·引言 | 第7页 |
| ·研究背景 | 第7-10页 |
| ·WLAN 协议的发展 | 第7-8页 |
| ·安全协议测试的意义和目的 | 第8-10页 |
| ·协议测试技术的国内外发展现状 | 第10页 |
| ·研究内容和目的 | 第10-11页 |
| ·论文结构安排 | 第11-12页 |
| 第二章 协议测试的一般理论 | 第12-22页 |
| ·协议工程和协议测试 | 第12-15页 |
| ·协议工程的相关概念 | 第12页 |
| ·协议软件测试的一般方法 | 第12-13页 |
| ·协议的形式化方法 | 第13-15页 |
| ·协议的一致性测试 | 第15-19页 |
| ·协议一致性测试模型和方法论 | 第15-17页 |
| ·一致性测试中测试序列生成的形式化方法 | 第17-19页 |
| ·协议的安全性测试 | 第19-20页 |
| ·小结 | 第20-22页 |
| ·控制流测试与数据流测试的结合 | 第20-21页 |
| ·主动测试中测试序列生成方式的选择方法 | 第21-22页 |
| 第三章 WLAN安全协议测试平台的技术基础 | 第22-46页 |
| ·主动测试中测试序列的生成 | 第22-32页 |
| ·WLAN 安全协议的特点 | 第22-23页 |
| ·测试方法的选择 | 第23-24页 |
| ·测试序列生成算法流程 | 第24-25页 |
| ·一套高效通用的与安全协议一致性测试的测试序列生成算法 | 第25-30页 |
| ·对整套算法的时间复杂度和正确性分析 | 第30页 |
| ·算法在测试系统中的实现 | 第30-32页 |
| ·对测试序列的整合 | 第32页 |
| ·被动测试中帧过滤器的实现 | 第32-36页 |
| ·无线包过滤机制描述 | 第33-35页 |
| ·无线包过滤机制在Hostap 驱动中的系统设计 | 第35-36页 |
| ·针对WLAN 实现平台的攻击 | 第36-41页 |
| ·网络分配矢量攻击 | 第37-39页 |
| ·SIFS 时隙攻击 | 第39页 |
| ·缓存溢出攻击 | 第39-41页 |
| ·针对WLAN 协议漏洞的典型攻击 | 第41-46页 |
| ·针对 802.11b 的虚假 AP 攻击 | 第41-43页 |
| ·针对 802.11b 的中间人攻击 | 第43-44页 |
| ·非法物理接入点攻击 | 第44-46页 |
| 第四章 测试平台总体设计 | 第46-52页 |
| ·任务目标 | 第46页 |
| ·设计原则 | 第46页 |
| ·安全协议测试平台体系框架 | 第46-52页 |
| ·一致性测试结构 | 第47-49页 |
| ·安全性测试结构 | 第49页 |
| ·WLAN 安全协议测试平台系统设计 | 第49-52页 |
| 第五章 测试实例 | 第52-58页 |
| ·802.11b 协议认证交互过程的形式化描述 | 第52-57页 |
| ·对 802.11b 认证协议中 STA 的状态转换的形式化描述 | 第52-54页 |
| ·对 802.11b 认证协议中 AP 的状态转换的形式化描述 | 第54-57页 |
| ·一致性测试主动测试序列的自动生成 | 第57-58页 |
| ·帧类型及其编号 | 第57页 |
| ·根据状态转换图得到测试流程 | 第57-58页 |
| 第六章 总结与展望 | 第58-60页 |
| ·本文工作总结 | 第58页 |
| ·对未来工作的展望 | 第58-60页 |
| 致谢 | 第60-61页 |
| 参考文献 | 第61-64页 |
| 研究成果 | 第64-65页 |
