%0 Journal Article %T Formal analysis of IEEE 802.11i
IEEE 802.11i 协议的形式化分析 %A WU Kai-gui %A XU Cheng %A LIAO Zhen-lan %A
吴开贵 %A 徐成 %A 廖振岚 %J 计算机应用 %D 2008 %I %X As one of the most representative theorem proving techniques used to analyze security protocols, the strand spaces theory has been successfully applied to prove a plenty of typical protocols. Based on the related document, we improved the Strand Space Model (SSM) of IEEE 802.11i protocols, and verified the security and authentication property. The result of the analysis proves the correctness of the IEEE 802.11i protocols in the present penetrator model. %K IEEE802 %K 11i protocol %K strand space %K formal analysis
IEEE %K 802.11i协议 %K 串空间 %K 形式化分析 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=833D1D761FA644DA430462E7D3BE8132&yid=67289AFF6305E306&vid=D3E34374A0D77D7F&iid=94C357A881DFC066&sid=D3CBA54FACB30BD9&eid=FB318F788ECEF1B2&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=8