WLAN安全接入协议的一致性测试研究
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-13页 |
| ·引言 | 第7页 |
| ·研究背景 | 第7-11页 |
| ·WLAN安全协议概述 | 第7-9页 |
| ·协议与协议一致性测试技术 | 第9-10页 |
| ·协议一致性测试在国内外的发展现状 | 第10-11页 |
| ·研究内容和目的 | 第11页 |
| ·论文结构安排 | 第11-13页 |
| 第二章 协议形式化分析及一致性测试理论 | 第13-23页 |
| ·协议形式化分析技术 | 第13-15页 |
| ·协议工程概述 | 第13-14页 |
| ·协议形式化分析 | 第14-15页 |
| ·协议一致性测试技术 | 第15-23页 |
| ·协议测试 | 第15-17页 |
| ·协议一致性测试 | 第17-23页 |
| 第三章 3PAKE协议的形式化分析与测试需求 | 第23-37页 |
| ·3PAKE协议介绍 | 第23-27页 |
| ·802.11b安全接入协议 | 第23-25页 |
| ·3PAKE安全接入协议 | 第25-27页 |
| ·3PAKE协议的形式化分析 | 第27-34页 |
| ·有限状态机模型 | 第27-28页 |
| ·802.11b协议的形式化分析 | 第28-30页 |
| ·3PAKE协议的形式化分析 | 第30-34页 |
| ·3PAKE协议的测试需求 | 第34-37页 |
| 第四章 WLAN安全接入协议一致性测试方案 | 第37-55页 |
| ·协议一致性测试方案设计 | 第37页 |
| ·协议被动测试方案 | 第37-44页 |
| ·802.11b协议被动测试分析 | 第37-42页 |
| ·3PAKE协议被动测试方案 | 第42-44页 |
| ·协议主动测试方案 | 第44-55页 |
| ·TTCN-3测试描述语言 | 第45-50页 |
| ·3PAKE主动测试方案 | 第50-55页 |
| 第五章 WLAN安全接入协议一致性测试系统 | 第55-71页 |
| ·一致性测试系统概述 | 第55页 |
| ·一致性测试系统的实现 | 第55-68页 |
| ·测试系统结构和流程 | 第55-57页 |
| ·测试系统界面部分 | 第57-62页 |
| ·测试系统的核心模块 | 第62-68页 |
| ·一致性测试系统的验证 | 第68-71页 |
| ·实验环境配置 | 第68页 |
| ·一致性测试系统的测试结果 | 第68-71页 |
| 第六章 结束语 | 第71-73页 |
| ·研究总结 | 第71-72页 |
| ·对未来工作的期望 | 第72-73页 |
| 致谢 | 第73-75页 |
| 参考文献 | 第75-77页 |
| 研究成果 | 第77-78页 |
