Provably Secure Three-Party Password-Authenticated Key Exchange

CL Lin,HA Wen,T Hwang,HM Sun
2004-01-01
IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences
Abstract: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.
What problem does this paper attempt to address?