计算机科学 ›› 2008, Vol. 35 ›› Issue (10): 138-139.
• • 上一篇 下一篇
出版日期:
发布日期:
Online:
Published:
摘要： IEEE设计802.11i协议解决无线局域网的安全问题。802.11i协议的形式化分析,对于确保该协议的正确性至关重要。利用串空间理论对802.11i协议进行建模,在串空间模型中验证协议的认证属性。结果表明,802.11i协议能够安全实现它的认证功能。
关键词: 802.11i 安全协议 串空间 认证
Abstract: 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
Key words: 802.11i, Security protocol, Strand space, Authentication
. 802.11i的认证安全性分析[J]. 计算机科学, 2008, 35(10): 138-139. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2008/V35/I10/138
Cited
首页