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

作者：杨卫东; 沈策; 李洋; 向上荣

来源：电子科技, 2010, (9): 130-132.

DOI：10.3969/j.issn.1007-7820.2010.09.041

• IEEE 802.11r
• 切换认证
• AUTLOG

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

• 单位
  陕西电力科学研究院; 河南工业大学