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

( ) 2005 年 4 月 西安电子科技大学学报 自然科学版 Apr. 2005 第 32 卷　第 2 期 　 J OU RNAL 　OF 　XID IAN 　UNIV ERS I TY 　 Vol. 32 　No. 2 WA PI 认证机制的性能和安全性分析 张 　帆 , 马建峰 (西安电子科技大学 计算机网络与信息安全教育部重点实验室 ,陕西 西安 　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 ZHANG Fan , MA Jianfeng (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 , key co