本论文研究基于无线局域网安全接入控制方法的安全无线局域网的组建。1990年无线局域网的出现,让人一度以为完全取消电缆和线路连接方式的新时代即将来临。但是,事物的发展并不像预想的那么好,无线局域网的发展比较缓慢。安全漏洞是其不可忽略的一个影响因素。在深入研究IEEE 802.11和IEEE 802.11i协议的基础上,无线局域网安全接入控制方法针对802.11无线局域网的安全漏洞,提出了增强型安全接入控制方法,包括认证、密钥管理和授权三部分。它从理论上阐述了利用上层的认证协议(802.1x协议)提高安全性能的、无线站点STA接入网络接入点AP的过程。本论文以IEEE 802.11、IEEE 802.11i、IEEE 802.1x、MD5、SHA-1、HMAC等一系列协议以及无线局域网安全接入控制方法为理论基础,从实践、应用的角度出发:首先,利用形式化分析工具(BAN逻辑)初步确定了无线局域网安全接入控制方法的可行性;其次,细化了无线站点STA一次接入无线局域网的流程,并使得站点间信息交互形式——各种帧的封装和嵌套具体化;接着,借助ACE库中的Task类,采用C++语言、并发编程模式,实现了组建安全无线局域网的模型仿真。该仿真,流畅演示了从探询网络开始,经历802.11认证、802.11关联、802.1x认证、对等密钥协商、组密钥分发的整个流程,并达到了多(STA)对一(AP)的通信目的,即AP可以同时受理多个STA的请求事务。在这其中,全新设计了整个系统框图和四种相关设备——无线站点STA、接入点AP、接入控制器AC、认证服务器AS的状态机。最后,总结了当前工作的优、缺点,针对列举的几个问题,提出了改进设想。