摘要
IEEE设计802.11i协议解决无线局域网的安全问题。802.11i协议的形式化分析,对于确保该协议的正确性至关重要。利用串空间理论对802.11i协议进行建模,在串空间模型中验证协议的认证属性。结果表明,802.11i协议能够安全实现它的认证功能。
IEEE 802.11i protocol is used in resolving the security issues in wireless local area networks. Formal verification of 802. 11i protocol is very important to guarantee the correctness of this protocol. 802. 11i protocol was modeled using the strand space theory, and the authentication property of the resulting model was verified. Analysis proves that the authentication of 802. 11i is not compromised in the presented model.
出处
《计算机科学》
CSCD
北大核心
2008年第10期138-139,191,共3页
Computer Science
关键词
802.11i
安全协议
串空间
认证
802.11i, Security protocol, Strand space, Authentication
