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.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copy
Chun-Li LIN, Hsiang-An WEN, Tzonelih HWANG, Hung-Min SUN, "Provably Secure Three-Party Password-Authenticated Key Exchange" in IEICE TRANSACTIONS on Fundamentals,
vol. E87-A, no. 11, pp. 2990-3000, November 2004, doi: .
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.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e87-a_11_2990/_p
Copy
@ARTICLE{e87-a_11_2990,
author={Chun-Li LIN, Hsiang-An WEN, Tzonelih HWANG, Hung-Min SUN, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Provably Secure Three-Party Password-Authenticated Key Exchange},
year={2004},
volume={E87-A},
number={11},
pages={2990-3000},
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.},
keywords={},
doi={},
ISSN={},
month={November},}
Copy
TY - JOUR
TI - Provably Secure Three-Party Password-Authenticated Key Exchange
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2990
EP - 3000
AU - Chun-Li LIN
AU - Hsiang-An WEN
AU - Tzonelih HWANG
AU - Hung-Min SUN
PY - 2004
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E87-A
IS - 11
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - November 2004
AB - 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.
ER -