Provably secure three-party password-authenticated key exchange

Chun Li Lin, Hsiang An Wen, Tzone-Lih Hwang, Hung Min Sun

Research output: Contribution to journalArticle

10 Citations (Scopus)

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.

Original languageEnglish
Pages (from-to)2990-3000
Number of pages11
JournalIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
VolumeE87-A
Issue number11
Publication statusPublished - 2004 Jan 1

Fingerprint

Authenticated Key Exchange
Password
Simulators
Key Agreement
Security Proof
Formal Model
Well-defined
Simulator

All Science Journal Classification (ASJC) codes

  • Signal Processing
  • Computer Graphics and Computer-Aided Design
  • Applied Mathematics
  • Electrical and Electronic Engineering

Cite this

@article{49fb53e05e4b4c36aab371a67828282f,
title = "Provably secure three-party password-authenticated key exchange",
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.",
author = "Lin, {Chun Li} and Wen, {Hsiang An} and Tzone-Lih Hwang and Sun, {Hung Min}",
year = "2004",
month = "1",
day = "1",
language = "English",
volume = "E87-A",
pages = "2990--3000",
journal = "IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences",
issn = "0916-8508",
publisher = "Maruzen Co., Ltd/Maruzen Kabushikikaisha",
number = "11",

}

Provably secure three-party password-authenticated key exchange. / Lin, Chun Li; Wen, Hsiang An; Hwang, Tzone-Lih; Sun, Hung Min.

In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E87-A, No. 11, 01.01.2004, p. 2990-3000.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Provably secure three-party password-authenticated key exchange

AU - Lin, Chun Li

AU - Wen, Hsiang An

AU - Hwang, Tzone-Lih

AU - Sun, Hung Min

PY - 2004/1/1

Y1 - 2004/1/1

N2 - 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.

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.

UR - http://www.scopus.com/inward/record.url?scp=10444279176&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=10444279176&partnerID=8YFLogxK

M3 - Article

VL - E87-A

SP - 2990

EP - 3000

JO - IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

JF - IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

SN - 0916-8508

IS - 11

ER -