%0 Journal Article
%T 802.11i的认证安全性分析
%J 计算机科学
%D 2008
%X ieee设计802.11i协议解决无线局域网的安全问题。802.11i协议的形式化分析,对于确保该协议的正确性至关重要。利用串空间理论对802.11i协议进行建模,在串空间模型中验证协议的认证属性。结果表明,802.11i协议能够安全实现它的认证功能。
%K 802.11i安全协议串空间认证
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=28700004&flag=1