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

Science in China Series F Information Sciences

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

Xinghua Li

Published Jan 1, 2005• 5 citations
Publisher
DOI
10.1360/122004-1

Related papers

On the Security of the Canetti-Krawczyk Model

Xinghua Li, Jianfeng Ma, SangJae Moon

Lecture notes in computer science•Jan 1, 2005•11 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

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

On the Power of Hierarchical Identity-Based Encryption

Mohammad Mahmoody, Ameer Mohammed

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

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

LIXinghua, MAJianfeng, SangJaeMoon

The Canetti-Krawczyk (CK) model is a formalism for the analysis of keyexchange protocols, which can guarantee many security properties for the protocols proved secure by this model. But we find this model lacks the ability to guarantee key generation center (KGC) forward secrecy, which is an important security property for key-agreement protocols based on Identity. The essential reason leading to this weakness is that it does not fully consider the attacker's capabilities. In this paper, the CK model is accordingly extended with a new additional attacker's capability of the KGC corruption in Identity-based systems, which enables it to support KGC forward secrecy.

Science China Information Sciences•Jan 1, 2005•0 citations

Security Enhancements by OR-Proof in Identity-Based Identification

Atsushi Fujioka, Taiichi Saito, Keita Xagawa

Lecture notes in computer science•Jan 1, 2012•15 citations
The Canetti-Krawczyk (CK) model is a formalism for the analysis of keyexchange protocols, which can guarantee many security properties for the protocols proved secure by this model. But we find this model lacks the ability to guarantee key generation center (KGC) forward secrecy, which is an important security property for key-agreement protocols based on Identity. The essential reason leading to this weakness is that it does not fully consider the attacker's capabilities. In this paper, the CK model is accordingly extended with a new additional attacker's capability of the KGC corruption in Identity-based systems, which enables it to support KGC forward secrecy.