WLAN安全接入协议的一致性测试研究

摘要

无线局域网(WLAN)具有灵活的移动能力和足够高的传输速率，是日常应用中比较普遍的一种无线组网形式。然而，随着应用的逐渐广泛，其安全问题也越来越突出并且已成为一个研究热点。目前，WLAN协议的漏洞已经越来越多的被发现，如WEP协议中的漏洞，因此专业人员制订了安全性更高的新的WLAN安全协议，如IEEE的802.11i和中国的WAPI标准。
　　 一致性测试是协议工程中非常重要的一个环节，主要检测所实现的安全协议是否符合协议规范，为协议能够正常运行和抵御攻击提供基础保证。在通信网络中，越来越多的新协议诞生，每一个协议在真实环境中运行之前，都必须进行一致性测试以保证其正确性和规范性。
　　 本文根据项目的需求，对课题中的WLAN安全接入协议进行一致性测试。首先根据协议工程原理，以形式化方法对WLAN安全接入协议中的接入认证过程进行分析；其次借鉴协议一致性测试原理，对WLAN安全接入协议一致性测试的方案进行了设计；最后，根据所设计的方案实现了一致性测试系统。
　　 本文的一致性测试采用了被动测试和主动测试相结合的方法。一致性测试系统主要对被动测试系统进行了实现。该系统集成了对802.11b协议的安全接入部分和对课题中的WLAN安全接入协议3PAKE的被动测试，而且提供了友好的人机界面，方便用户使用；对主动测试，采用了OSI9646标准中的TTCN-3标准测试语言，用该语言对测试序列进行描述，不仅能够高效、统一地生成测试序列而且测试过程中更加标准化。

目录

文摘

英文文摘

声明

第一章绪论

1.1 引言

1.2研究背景

1.2.1 WLAN安全协议概述

1.2.2协议与协议一致性测试技术

1.2.3 协议一致性测试在国内外的发展现状

1.3 研究内容和目的

1.4论文结构安排

第二章协议形式化分析及一致性测试理论

2.1 协议形式化分析技术

2.1.1 协议工程概述

2.1.2协议形式化分析

2.2协议一致性测试技术

2.2.1协议测试

2.2.2协议一致性测试

第三章3PAKE协议的形式化分析与测试需求

3.1 3PAKE协议介绍

3.1.1 802.11b安全接入协议

3.1.2 3PAKE安全接入协议

3.2 3PAKE协议的形式化分析

3.2.1有限状态机模型

3.2.2 802.11b协议的形式化分析

3.2.3 3PAKE协议的形式化分析

3.3 3PAKE协议的测试需求

第四章WLAN安全接入协议一致性测试方案

4.1 协议一致性测试方案设计

4.2协议被动测试方案

4.2.1 802.11b协议被动测试分析

4.2.2 3PAKE协议被动测试方案

4.3协议主动测试方案

4.3.1 TTCN-3测试描述语言

4.3.2 3PAKE主动测试方案

第五章WLAN安全接入协议一致性测试系统

5.1 一致性测试系统概述

5.2一致性测试系统的实现

5.2.1 测试系统结构和流程

5.2.2测试系统界面部分

5.2.3测试系统的核心模块

5.3一致性测试系统的验证

5.3.1实验环境配置

5.3.2一致性测试系统的测试结果

第六章结束语

6.1 研究总结

6.2对未来工作的期望

致谢

参考文献

研究成果