Provably Secure Three-Party Password-Authenticated Key Exchange
Chun‐Li Lin, Hsiang‐An Wen, Tzonelih Hwang, Hung–Min Sun · IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences · 2004
We will propose a key-agreement-type three-party password-authenticated key exchange protocol. The proposed protocol is quite efficient and, among the same type of protocols, is the first to be formally proven to be secure. A three-party formal model for security proof is proposed based on [25] and [26]. We construct a simulator in this model to show that our proposed protocol is secure under reasonable and well-defined cryptographic primitives.