%0 Journal Article
%T Authentication Analysis of the IEEE 802.11i<br>802.11i的认证安全性分析
%A DENG Miao-lei
%A ZHOU Yue-hua
%A YU Tao
%A ZHOU Li-hua
%A <br>邓淼磊
%A 周跃华
%A 余涛
%A 周利华
%J 计算机科学
%D 2008
%I 
%X 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.
%K 802
%K 11i<br>安全协议
%K 串空间
%K 认证
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=E73E30E8D22774031DE3512598762EB5&yid=67289AFF6305E306&vid=6209D9E8050195F5&iid=F3090AE9B60B7ED1&sid=09E495F616948E78&eid=12DC19455C3A2FA8&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=8