802.11i认证协议可验安全性形式化分析

宋宇波,胡爱群,姚冰心

中国工程科学 ›› 2010, Vol. 12 ›› Issue (1) : 67 -73.

PDF (715KB)
中国工程科学 ›› 2010, Vol. 12 ›› Issue (1) : 67 -73.

802.11i认证协议可验安全性形式化分析

作者信息 +

The provable security formal analysis of 802.11i authentication scheme

Author information +
文章历史 +
PDF (731K)

摘要

IEEE 802.11标准组提出了802.11i标准以增强无线局域网的安全性能。在802.11i标准中采用了802.1X标准实现无线局域网用户的认证和接入控制过程。针对802.1X认证协议的三方交互结构提出一种扩展Bellare-Rogaway模型,对802.11i认证和密钥交换机制进行可验安全性分析。通过分析,证明802.11i认证协议存在缺陷并给出了相应的中间人攻击方法。

Abstract

802.11i standard is proposed by IEEE 802.11 Standard Group to improve the security of the WLAN. In 802.11i, 802.1x standard is used for the authentication and access controll. How to analyze the security of the new protocol to prove its validity is the most interesting problem we are concerned. In order to solve this problem, an expanded Bellare-Rogaway model is established to give a provable security formal analysis on this protocol. By utilizing the expanded Bellare-Rogaway model, a flaw has been found in 802.1X authentication protocols and the corresponding man-in-the-middle attack is given here.

关键词

802.11i / Bellare-Rogaway模型 / 可验安全性 / 形式化分析

Key words

802.11i / Bellare-Rogaway model / provable security / formal analysis

Author summay

宋宇波(1977-),男,江苏无锡市人,东南大学信息科学与工程学院副教授,研究方向为无线网络和信息安全

引用本文

引用格式 ▾
宋宇波,胡爱群,姚冰心 802.11i认证协议可验安全性形式化分析[J]. 中国工程科学, 2010, 12(1): 67-73 DOI:

登录浏览全文

4963

注册一个新账户 忘记密码

参考文献

AI Summary AI Mindmap
PDF (715KB)

427

访问

0

被引

详细

导航
相关文章

AI思维导图

/