ieee802.11i协议的形式化分析

？furqan提出运用串空间理论对ieee802.11i协议进行形式化验证的基础上，对ieee802.11i协议的串空间模型进行了改进，并证明了furqan没有证明的保密性以及服务器的认证性。分析结果证明，在目前的攻击者模型中，ieee802.11i协议是安全的。