全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...

ieee802.11i协议的形式化分析

Keywords: ieee802.11i协议,串空间,形式化分析

Full-Text   Cite this paper   Add to My Lib

Abstract:

?furqan提出运用串空间理论对ieee802.11i协议进行形式化验证的基础上,对ieee802.11i协议的串空间模型进行了改进,并证明了furqan没有证明的保密性以及服务器的认证性。分析结果证明,在目前的攻击者模型中,ieee802.11i协议是安全的。

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133