《WAPI认证机制的性能和安全性分析》.pdfVIP

( ) 2005 年 4 月 西安电子科技大学学报 自然科学版 Apr . 2005 第 32 卷 　第 2 期 　 J OU RNAL 　O F 　XI D IAN 　UN IV ER S I TY 　 Vol . 32 　No . 2 WA P I 认证机制的性能和安全性分析 张 　帆 , 马 建 峰 (西安电子科技大学 计算机网络与信息安全教育部重点实验室 ,陕西 西安 　710071) ( ) 摘要 : 利用 BAN 类逻辑 WK 逻辑 ,对中国无线局域网安全标准 WAPI 的认证基础设施 WAI 进行了形 式化分析 ,指出其无法实现全部的认证及密钥协商 目标. 进一步分析表明 ,WAI 中存在诸多安全问题 ,如 无法提供身份保护 、无法抵抗密钥一致性等攻击 、缺乏私钥验证 、不能提供如 PFS 、密钥控制等相应的安 全属性等. 因此 ,WAPI 无法提供足够级别的安全保护. 最后对 WAPI 与 IEEE 80211i 在安全性和性能上 进行了比较. 关键词 : BAN 类逻辑 WK;无线局域网;WAPI ; IEEE 80211i ;认证 ;密钥协商 ( ) 中图分类号 :TP39317 　　文献标识码 :A 　　文章编号 2005 On the security and performance of WAPI ZHAN G Fan , MA J ianf eng (Ministry of Edu . Key Lab . of Computer Networks and Info . Security , Xidian Univ. , Xi ′an 　710071 , China) Abstract : 　With BANlike logic , WAI , the authentication infrastructure of WAPI which is the Chinese WLAN security standard , is analyzed on the security. Results show that WAI is unable to completely realize the authentication and key agreement goals. Further analysis indicates that WAI also has many flaws , such as inability to provide identity protection and resist key consistency attack , lack of private key verification and desirable security attributes like PFS ,