A Correctness Proof of WAPI Certificate Authentication Protocol

摘要：

WAPI certificate authentication protocol is the core and key component of WAPI security mechanism proposed by Chinese WLAN standard. This protocol adopts public key cryptographic technique, ASUE and AE implement the mutual identity authentication aided by their trusting third ASE to realize secure access and negotiate the corresponding BK. Using a formal logic of PCL, WAPI certificate authentication protocol is programmed and its security properties are proved. The results show that if all the entities involved in the protocol do not reveal their long-term keys short-term keys, this protocol provides the properties of strong session authentication and key secrecy and achieves predefined security goals.

关键词： WLAN WAPI WAPI certificate authentication

作者: TIE Manxia LI Jiandong HUANG Zhenhai WANG Yumin

作者单位: State Key Laboratory of Integrated Services Networks, Xidian University, Xian, China, 710071 China IWNCOMM Co, Xian, China, 710075

会议类型: 国际会议

会议名称: 第三届IEEE无线通讯、网络技术暨移动计算国际会议

会议地点: 上海

会议语种:英文

在线出版日期: 2007-09-21（万方平台首次上网日期，不代表论文的发表时间）