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   Vol.E87-A   No.11   pp.2990-3000
Publication Date: 2004/11/01
Online ISSN: 
Print ISSN: 0916-8508
Type of Manuscript: PAPER
Category: Information Security
cryptography,  password,  dictionary attack,  authentication,  key exchange,  provable security,  

Full Text: PDF(369.5KB)>>
Buy this Article

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.