全部 标题 作者 关键词 摘要
Keywords: ieee802.11i协议,串空间,形式化分析
Full-Text Cite this paper Add to My Lib
?furqan提出运用串空间理论对ieee802.11i协议进行形式化验证的基础上,对ieee802.11i协议的串空间模型进行了改进,并证明了furqan没有证明的保密性以及服务器的认证性。分析结果证明,在目前的攻击者模型中,ieee802.11i协议是安全的。
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133