IEEE 802.11r认证协议安全性分析及改进

• 作者: 向上荣 李洋 杨卫东 沈策
• 来源期刊: 电子科技
• 学科: 工学
• 关键词: IEEE 802.11r 切换认证 AUTLOG
• 年，卷（期）: 2010,（9）
• 页码范围: 130-132
• 分类号: TP3
• 字数: 2533字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-7820.2010.09.041

摘要

利用AUTLOG信仰逻辑,对IEEE 802.11r认证协议进行了形式化分析.分析结果表明该认证协议无法实现全部的认证及密钥协商目标,存在的安全缺陷.在深入分析产生安全缺陷原因的基础上,进一步给出了改进方案.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨卫东	河南工业大学信息科学与工程学院	22	114	5.0	10.0
2	李洋	陕西电力科学研究院市场部	6	22	3.0	4.0
3	沈策	杭州华新机电工程有限公司项目部	7	2	1.0	1.0
4	向上荣	西安电子科技术大学计算机学院	2	4	1.0	2.0