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

Lecture notes in computer science

Tripartite Key Exchange in the Canetti-Krawczyk Proof Model

Yvonne Hitchcock, Colin Boyd, Juan Manuel González Nieto

Published Jan 1, 2004• 15 citations
Publisher
DOI
10.1007/978-3-540-30556-9_3

Related papers

Modular proofs for key exchange: rigorous optimizations in the Canetti–Krawczyk model

Yvonne Hitchcock, Colin Boyd, Juan Manuel González Nieto

Applicable Algebra in Engineering Communication and Computing•Nov 7, 2005•9 citations

Provably Secure Mobile Key Exchange: Applying the Canetti-Krawczyk Approach

Yiu Shing Terry Tin, Colin Boyd, Juan Manuel González Nieto

Lecture notes in computer science•Jan 1, 2003•16 citations

On the Security of the Canetti-Krawczyk Model

Xinghua Li, Jianfeng Ma, SangJae Moon

Lecture notes in computer science•Jan 1, 2005•11 citations

Security extension for the Canetti-Krawczyk model in identity-based systems

Xinghua Li

Science in China Series F Information Sciences•Jan 1, 2005•5 citations

A modified eCK model with stronger security for tripartite authenticated key exchange.

Qingfeng Cheng, Chuangui Ma, Fushan Wei

Since Bellare and Rogaway presented the first formal security model for authenticated key exchange (AKE) protocols in 1993, many formal security models have been proposed. The extended Canetti-Krawczyk (eCK) model proposed by LaMacchia et al. is currently regarded as the strongest security model for two-party AKE protocols. In this paper, we first generalize the eCK model for tripartite AKE protocols, called teCK model, and enhance the security of the new model by adding a new reveal query. In the teCK model, the adversary has stronger powers, and can learn more secret information. Then we present a new tripartite AKE protocol based on the NAXOS protocol, called T-NAXOS protocol, and analyze its security in the teCK model under the random oracle assumption.

•Jan 1, 2010•0 citations

Leakage resilient eCK-secure key exchange protocol without random oracles

Daisuke Moriyama, Tatsuaki Okamoto

This paper presents the first formalization of partial key leakage security of a two-pass two-party authenticated key exchange (AKE) protocol on the extended Canetti-Krawczyk (eCK) security model. Our formalization, λ-leakage resilient eCK security, is a (stronger) generalization of the eCK security model with enhanced by the notion of λ-leakage resilient security recently introduced by Akavia, Goldwasser and Vaikuntanathan. We present a PKI-based two-pass key exchange protocol with Hash Proof System (HPS), that is λ-leakage resilient eCK secure without random oracles.

ACM Asia Conference on Computer and Communications Security (ASIA CCS)•Mar 22, 2011•37 citations
Since Bellare and Rogaway presented the first formal security model for authenticated key exchange (AKE) protocols in 1993, many formal security models have been proposed. The extended Canetti-Krawczyk (eCK) model proposed by LaMacchia et al. is currently regarded as the strongest security model for two-party AKE protocols. In this paper, we first generalize the eCK model for tripartite AKE protocols, called teCK model, and enhance the security of the new model by adding a new reveal query. In the teCK model, the adversary has stronger powers, and can learn more secret information. Then we present a new tripartite AKE protocol based on the NAXOS protocol, called T-NAXOS protocol, and analyze its security in the teCK model under the random oracle assumption.
This paper presents the first formalization of partial key leakage security of a two-pass two-party authenticated key exchange (AKE) protocol on the extended Canetti-Krawczyk (eCK) security model. Our formalization, λ-leakage resilient eCK security, is a (stronger) generalization of the eCK security model with enhanced by the notion of λ-leakage resilient security recently introduced by Akavia, Goldwasser and Vaikuntanathan. We present a PKI-based two-pass key exchange protocol with Hash Proof System (HPS), that is λ-leakage resilient eCK secure without random oracles.