| IEEE 802.11r认证协议安全性分析及改进 |
| |
| 引用本文： | 杨卫东,沈策,李洋,向上荣. IEEE 802.11r认证协议安全性分析及改进[J]. 电子科技, 2010, 23(9): 130-132 |
| |
| 作者姓名： | 杨卫东 沈策 李洋 向上荣 |
| |
| 作者单位： | 河南工业大学,信息科学与工程学院,河南,郑州,45000;杭州华新机电工程有限公司,项目部,浙江,杭州,31003;陕西电力科学研究院,市场部,陕西,西安,710054;西安电子科技术大学,计算机学院,陕西,西安,710071 |
| |
| 基金项目： | 河南省科技攻关重点项目,河南工业大学博士基金项目,河南工业大学校科研重点基金 |
| |
| 摘 要： | 利用AUTLOG信仰逻辑,对IEEE 802.11r认证协议进行了形式化分析。分析结果表明该认证协议无法实现全部的认证及密钥协商目标,存在的安全缺陷。在深入分析产生安全缺陷原因的基础上,进一步给出了改进方案。
|
| 关 键 词： | IEEE 802.11r 切换认证 AUTLOG |
Security Analysis and Improvement of the Authentication Protocol in the IEEE 802.11r Standard |
| |
| Yang Weidong,Shen Ce,Li Yang,Xiang Shangrong. Security Analysis and Improvement of the Authentication Protocol in the IEEE 802.11r Standard[J]. Electronic Science and Technology, 2010, 23(9): 130-132 |
| |
| Authors: | Yang Weidong Shen Ce Li Yang Xiang Shangrong |
| |
| Affiliation: | (1.College of Information Science and Engineering,Henan University of Technology,Zhengzhou 450001,China;2.State Power Machinary Research and Design Institute,Hangzhou 310030,China;3.Department of Market,Shaanxi Electric Power Research Institute,Xi'an 710054,China;.4School of Computer Science,Xidian University,Xi'an 710071,China) |
| |
| Abstract: | A formal analysis is made of the authentication protocol of IEEE 802.11r by AUTLOG logic.Results show that the protocol is unable to completely realize the authentication and achieve key agreement goals.The scheme for improvement is proposed upon a thorough analysis of the reasons for security flaws. |
| |
| Keywords: | IEEE 802.11r AUTLOG |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《电子科技》浏览原始摘要信息 |
|
点击此处可从《电子科技》下载全文 |
|
