Abstract: This paper analyzes the security of the authenticated key exchange protocol WAI in WAPI, points out its flaws and improves it. The security proof of the new protocol WAI’ in CK security model is given, which indicates that WAI’ has the corresponding security attributes in CK security model, and satisfies the requirements of WAPI.

Key words: WAPI, WAI protocol, CK security model, security analysis

摘要： 对中国无线局域网国家标准(GB/XG 15629.11-20031-2006)WAPI中的认证密钥交换协议WAI进行了安全性分析，指出存在的一些缺陷并作了相应改进，给出改进的WAI’协议在CK安全模型下的安全性证明。分析结果表明，WAI’具备CK安全模型下相应的安全属性，符合WAPI标准的要求。

关键词: WAPI标准, WAI协议, CK安全模型, 安全性分析

CLC Number: 

• TP309.2