无线局域网是无线通信领域发展最有前景的领域,但由于其使用的通信媒体具有开放性的特点,使得它更容易遭受各种攻击。建立与完善一......

基于Caleiro提出的分布式时序逻辑,在其模型中增加了挑战问题集合和挑战应答集合,将IEEE802.11i协议转化为分布式时序逻辑的事件结......

介绍了两种新型无线网络安全协议IEEE802．11i和WAPI，并对两种协议的安全性进行了分析，指出了IEEE802.11i存在一定的安全隐患，而WAPI可......

近年来,无线局域网的使用日益广泛,然而,由于无线网络的天然局限,无线连接存在着许多安全缺陷。讨论了主要的无线攻击和802.11i的......

研究了IEEE802.11i协议的安全机制,对IEEE802.11i强安全网络连接的安全性进行了分析,并在实际网络平台中对其进行实现与验证。......

通过对串空间模型的扩展，使其具备分析复杂安全协议的能力。利用扩展后的串空间模型，对IEEE802．11i协议中的4步握手协议进行分析，证明4......

对IEEE802.11i协议中四次握手过程的临时会话密钥的协商和建立过程中的安全性进行了分析，发现在四次握手过程中存在安全隐患，并因此......