| 802.11i认证协议可验安全性形式化分析 |
| |
| 引用本文： | 宋宇波,胡爱群,姚冰心.802.11i认证协议可验安全性形式化分析[J].工程科学,2010,12(1):67-73. |
| |
| 作者姓名： | 宋宇波 胡爱群 姚冰心 |
| |
| 作者单位： | 东南大学信息科学与工程学院，南京210096;东南大学信息科学与工程学院，南京210096;东南大学信息科学与工程学院，南京210096 |
| |
| 基金项目： | 国家242信息安全计划(2007A04)；江苏省自然科学基金资助项目(BK2006108) |
| |
| 摘 要： | IEEE 802.11标准组提出了802.11i标准以增强无线局域网的安全性能。在802.11i标准中采用了802.1X标准实现无线局域网用户的认证和接入控制过程。针对802.1X认证协议的三方交互结构提出一种扩展Bellare-Rogaway模型，对802.11i认证和密钥交换机制进行可验安全性分析。通过分析，证明802.11i认证协议存在缺陷并给出了相应的中间人攻击方法。
|
| 关 键 词： | 802.11i Bellare-Rogaway模型 可验安全性 形式化分析 |
The provable security formal analysis
of 802.11i authentication scheme |
| |
| Song Yubo,Hu Aiqun and Yao Bingxin.The provable security formal analysis
of 802.11i authentication scheme[J].Engineering Sciences,2010,12(1):67-73. |
| |
| Authors: | Song Yubo Hu Aiqun and Yao Bingxin |
| |
| Abstract: | |
| |
| Keywords: | |
|
| 点击此处可从《工程科学》浏览原始摘要信息 |
| 点击此处可从《工程科学》下载免费的PDF全文 |
