标题：A Provably-Secure and Efficient Verifier-Based Anonymous Password-Authenticated Key Exchange Protocol
作者：Yang, Xiaoyan; Jiang, Han; Xu, Qiuliang; Hou, Mengbo; Wei, Xiaochao; Zhao, Minghao; Choo, Kim-Kwang Raymond
作者机构：[Yang, Xiaoyan; Jiang, Han; Xu, Qiuliang; Hou, Mengbo; Wei, Xiaochao; Zhao, Minghao] Shandong Univ, Sch Comp Sci & Technol, Jinan, Peoples R China.; 更多
会议名称：15th IEEE Int Conf on Trust, Security and Privacy in Comp and Commun / 10th IEEE Int Conf on Big Data Science and Engineering / 14th IEEE Int Symposium on Parallel and Distributed Proc with Applicat (IEEE Trustcom/BigDataSE/ISPA)
会议日期：AUG 23-26, 2016
来源：2016 IEEE TRUSTCOM/BIGDATASE/ISPA
关键词：Authenticated Key Exchange; anonymous authentication; Smooth Projective; Hash Function; Verifier-Based Anonymous Password-Authenticated Key; Exchange
摘要：Anonymous password-based authenticated key exchange (APAKE) protocols are a topic of ongoing research interest. However, the security of existing APAKE protocols is generally provided in the random oracle model, and in these protocols, passwords are stored in cleartext on the server. However, proofs of security in the random oracle model do not necessarily imply security in the real world. Recent high profile incidents also indicate the real risk of a server being compromised and information stored on the server leaked. Verifier-based password-authenticated key exchange (VPAKE) protocols have been identified as a viable solution to overcome such limitations. In this paper, we propose a novel verifier-based anonymous password-authenticated key exchange (VAPAKE) protocol constructed using smooth projective hashing function. The proposed protocol only involves two-round interactions for mutual implicit authentication. We then prove the security of the protocol in the standard model.