%0 Journal Article
%T ieee802.11i协议的形式化分析
%A 吴开贵
%A 徐成
%A 廖振岚
%J 计算机应用
%D 2008
%X ？furqan提出运用串空间理论对ieee802.11i协议进行形式化验证的基础上，对ieee802.11i协议的串空间模型进行了改进，并证明了furqan没有证明的保密性以及服务器的认证性。分析结果证明，在目前的攻击者模型中，ieee802.11i协议是安全的。
%K ieee802.11i协议
%K 串空间
%K 形式化分析
%U http://www.joca.cn/CN/abstract/abstract11245.shtml