Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Chinese Journal of Computers

Provably Secure Two-Party Authenticated Key Exchange Protocol in eCK Model

Jianjie Zhao, Dawu Gu

Published May 17, 2011• 2 citations
Publisher
DOI
10.3724/sp.j.1016.2011.00047

Related papers

Efficient eCK-Secure Authenticated Key Exchange Protocols in the Standard Model

Zheng Yang

Lecture notes in computer science•Jan 1, 2013•22 citations

An eCK-Secure One Round Authenticated Key Exchange Protocol with Perfect Forward Security.

Hai Huang

Journal of Internet Services and Information Security•Jan 1, 2011•3 citations

Stronger Security Tripartite Authenticated Key Exchange Protocol

Hai Ping Huang

Currently there are few tripartite Authenticated Key Exchange(AKE) protocols which have a formal security proof.Aiming at this problem,this paper investigates the security model for the tripartite AKE protocols.A strong security model named enhanced CanettiKrawczyk(eCK) model for two-party AKE protocols is proposed.A strong security model for three-party AKE protocols is introduced which generalizes the eCK model for two-party setting,and the insider attack is taken into account.It presents a new tripartite AKE protocol and shows that the protocol is provably secure in the strong security model.

Jisuanji gongcheng•Jan 1, 2010•0 citations

An eCK-Secure Authenticated Key Exchange Protocol without Random Oracles

Daisuke Moriyama, Tatsuaki Okamoto

Lecture notes in computer science•Jan 1, 2009•30 citations

An eCK-secure Authenticated Key Exchange Protocol Without Random Oracles

Daisuke Moriyama, Tatsuaki Okamoto

Two-party key exchange protocol is a mechanism in which two parties communicate with each other over an insecure channel and output the same session key.A key exchange protocol that is secure against an active adversary who can control and modify the exchanged messages is called authenticated key exchange (AKE) protocol.LaMacchia, Lauter and Mityagin presented a strong security definition for public key infrastructure (PKI) based two-pass protocol, which we call the extended Canetti-Krawczyk (eCK) security model, and some researchers have provided eCK-secure AKE protocols in recent years.However, almost all protocols are provably secure in the random oracle model or rely on a special implementation technique so-called the NAXOS trick.In this paper, we present a PKI-based two-pass AKE protocol that is secure in the eCK security model.The security of the proposed protocol is proven without random oracles (under three assumptions), and does not rely on implementation techniques such as the NAXOS trick.

KSII Transactions on Internet and Information Systems•Jan 1, 2011•11 citations

One-Round Protocols for Two-Party Authenticated Key Exchange

Ik Rae Jeong, Jonathan I. Katz, Dong Hoon Lee

Lecture notes in computer science•Jan 1, 2004•106 citations
Currently there are few tripartite Authenticated Key Exchange(AKE) protocols which have a formal security proof.Aiming at this problem,this paper investigates the security model for the tripartite AKE protocols.A strong security model named enhanced CanettiKrawczyk(eCK) model for two-party AKE protocols is proposed.A strong security model for three-party AKE protocols is introduced which generalizes the eCK model for two-party setting,and the insider attack is taken into account.It presents a new tripartite AKE protocol and shows that the protocol is provably secure in the strong security model.
Two-party key exchange protocol is a mechanism in which two parties communicate with each other over an insecure channel and output the same session key.A key exchange protocol that is secure against an active adversary who can control and modify the exchanged messages is called authenticated key exchange (AKE) protocol.LaMacchia, Lauter and Mityagin presented a strong security definition for public key infrastructure (PKI) based two-pass protocol, which we call the extended Canetti-Krawczyk (eCK) security model, and some researchers have provided eCK-secure AKE protocols in recent years.However, almost all protocols are provably secure in the random oracle model or rely on a special implementation technique so-called the NAXOS trick.In this paper, we present a PKI-based two-pass AKE protocol that is secure in the eCK security model.The security of the proposed protocol is proven without random oracles (under three assumptions), and does not rely on implementation techniques such as the NAXOS trick.