电子科技
電子科技
전자과기
IT AGE
2010年
9期
130-132
,共3页
杨卫东%沈策%李洋%向上荣
楊衛東%瀋策%李洋%嚮上榮
양위동%침책%리양%향상영
IEEE 802.11r%切换认证%AUTLOG
IEEE 802.11r%切換認證%AUTLOG
IEEE 802.11r%절환인증%AUTLOG
利用AUTLOG信仰逻辑,对IEEE 802.11r认证协议进行了形式化分析.分析结果表明该认证协议无法实现全部的认证及密钥协商目标,存在的安全缺陷.在深入分析产生安全缺陷原因的基础上,进一步给出了改进方案.
利用AUTLOG信仰邏輯,對IEEE 802.11r認證協議進行瞭形式化分析.分析結果錶明該認證協議無法實現全部的認證及密鑰協商目標,存在的安全缺陷.在深入分析產生安全缺陷原因的基礎上,進一步給齣瞭改進方案.
이용AUTLOG신앙라집,대IEEE 802.11r인증협의진행료형식화분석.분석결과표명해인증협의무법실현전부적인증급밀약협상목표,존재적안전결함.재심입분석산생안전결함원인적기출상,진일보급출료개진방안.