摘要： 通过对串空间模型的扩展，使其具备分析复杂安全协议的能力。利用扩展后的串空间模型，对IEEE802.11i协议中的4步握手协议进行分析，证明4步握手协议达到协议机密性和认证正确性目标的结论。指出在协议可用性分析方面还须继续对分析方法进行扩展研究。
关键词:
串空间,
IEEE802.11i协议,
安全协议
Abstract: By extending strand spaces model, it has ability of analyzing the complex security protocol. By the extended strand spaces model, this paper analyzes the 4-way handshake protocol in IEEE 802.11i, and proofs the 4-way handshake protocol in IEEE 802.11i can achieve the goal of the authentication and confidentiality. For the analysis of the availability, it needs continue to research strand spaces model.
Key words:
strand space,
IEEE802.11i protocol,
security protocol
中图分类号:
操漫成;. 基于扩展串空间模型的IEEE802.11i分析[J]. 计算机工程, 2009, 35(10): 126-128.
CAO Man-cheng;. Analysis of IEEE 802.11i Based on Extend Strand Space Model[J]. Computer Engineering, 2009, 35(10): 126-128.