WLAN安全协议测试技术与系统实现
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·研究背景 | 第7-8页 |
| ·国内外研究现状 | 第8-9页 |
| ·协议一致性测试研究现状 | 第8页 |
| ·协议安全性测试研究现状 | 第8-9页 |
| ·研究内容和目的 | 第9-10页 |
| ·论文组织结构 | 第10-11页 |
| 第二章 WLAN 安全协议的测试理论 | 第11-27页 |
| ·协议形式化描述方法 | 第11-14页 |
| ·协议形式化描述方法概述 | 第11页 |
| ·有限状态机 | 第11-14页 |
| ·协议一致性测试理论 | 第14-23页 |
| ·一致性测试概述 | 第14-15页 |
| ·被动测试 | 第15-17页 |
| ·主动测试 | 第17-23页 |
| ·协议安全性测试理论 | 第23-27页 |
| ·安全性测试概述 | 第23页 |
| ·健壮性测试 | 第23-24页 |
| ·协议攻击测试 | 第24-27页 |
| 第三章 测试方案的设计 | 第27-41页 |
| ·待测协议及其形式化分析 | 第27-34页 |
| ·待测协议简介 | 第27-29页 |
| ·待测协议的形式化分析 | 第29-34页 |
| ·一致性主动测试方案设计 | 第34-38页 |
| ·测试场景 | 第34-35页 |
| ·测试集的生成 | 第35-38页 |
| ·安全性测试方案设计 | 第38-41页 |
| ·可能面临的威胁分析 | 第38-39页 |
| ·安全性测试方案 | 第39-41页 |
| 第四章 安全协议一致性主动测试系统的设计与实现 | 第41-59页 |
| ·主动测试系统设计 | 第41-43页 |
| ·总体设计 | 第41-42页 |
| ·功能模块划分 | 第42-43页 |
| ·主动测试系统实现 | 第43-54页 |
| ·图形用户交互界面实现 | 第43-46页 |
| ·测试例管理模块实现 | 第46-47页 |
| ·消息交互模块实现 | 第47-48页 |
| ·状态解析模块实现 | 第48-49页 |
| ·测试例模块实现 | 第49-54页 |
| ·测试试验与结果分析 | 第54-59页 |
| ·测试环境 | 第54页 |
| ·结果分析 | 第54-59页 |
| 第五章 安全协议安全性测试系统的设计与实现 | 第59-67页 |
| ·安全性测试系统设计 | 第59-60页 |
| ·安全性测试系统实现 | 第60-64页 |
| ·可视化图形用户交互前端实现 | 第60页 |
| ·测试例模块实现 | 第60-64页 |
| ·测试试验与结果分析 | 第64-67页 |
| ·测试环境 | 第64-65页 |
| ·结果分析 | 第65-67页 |
| 第六章 结束语 | 第67-69页 |
| ·研究总结 | 第67-68页 |
| ·对未来工作的展望 | 第68-69页 |
| 致谢 | 第69-71页 |
| 参考文献 | 第71-75页 |
| 研究成果 | 第75-76页 |
