无线局域网(Wireless Local Area Network),WLAN作为对传统有线网络的延伸,WLAN由于具有可移动、安装便捷、使用灵活、经济节约、易于扩展、可提供高速无线接入等优势,被广泛应用于各行各业。随着无线网络解决方案的不断推出,“不论您在任何时间、任何地点都可以轻松上网”这一目标被轻松实现了。无线局域网采用公共的电磁波作为载体,任何人都有条件窃听或干扰信息。因此无线局域网的安全问题是决定其发展的一个重要问题,那么研究无线局域网的信息安全技术显得尤为重要。无线局域网在信息传输的过程中,大致可以分为身份认证、密钥协商、数据加密、数据传输几个模块。各信息传输模块中会产生用户身份合法性、密钥管理、数据机密性和数据完整性等安全问题,而且这些问题相互依赖。本文首先介绍了无线局域网的安全技术和在这些技术中所使用用的密码学知识。然后深入分析无线局域网中使用加密算法的机制以及加密算法本身的加密解密原理,对其中的安全缺陷进行改进,并以形式化分析方法为理论依据,对所做的改进进行分析和仿真。经过BAN逻辑模型的仿真分析,证明本文的方法比较妥善的解决了无线局域网中的数据安全问题。