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

Springer eBooks

Protocols for Key Establishment and Authentication

Colin Boyd, Anish Mathuria

Published Aug 1, 2003• 115 citations
OpenAlex

Related papers

Deniable Authenticated Key Establishment for Internet Protocols

Colin Boyd, Wenbo Mao, Kenneth G. Paterson

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

Deniable Authenticated Key Establishment for Internet Protocols

Wenbo Mao

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

An Improved Protocol for Server-Aided Authenticated Group Key Establishment

Junghyun Nam, Juryon Paik, Byunghee Lee +2 more

Lecture notes in computer science•Jan 1, 2011•2 citations

ID-based one-pass authenticated key establishment

M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto

One-pass authenticated key establishment (AKE) protocols are arguably better suited to the ID-based environment than their two-pass counterparts. However, there is no ID-based one-pass AKE protocol proposed in the literature with a proof of security in an appropriate model. This paper addresses the current gap by proposing a new ID-based one-pass AKE protocol and proving it secure in a formal model. The security of the new protocol is treated under a model adapted from a formal security model for traditional certificate based AKE protocols. The proof of security is in the random oracle model and is based on the hardness of the bilinear Diffie-Hellman problem. The protocol also turns out to be the most efficient of all the previously known protocols. It can work over a class of asymmetric pairings for better efficiency at higher bit security levels.

Artificial Intelligence and Symbolic Computation•Jan 1, 2008•30 citations

Key-establishment protocols

Miroslava Prater

•Jan 1, 2007•0 citations

A framework for design of key establishment protocols

Colin Boyd

Lecture notes in computer science•Jan 1, 1996•9 citations
One-pass authenticated key establishment (AKE) protocols are arguably better suited to the ID-based environment than their two-pass counterparts. However, there is no ID-based one-pass AKE protocol proposed in the literature with a proof of security in an appropriate model. This paper addresses the current gap by proposing a new ID-based one-pass AKE protocol and proving it secure in a formal model. The security of the new protocol is treated under a model adapted from a formal security model for traditional certificate based AKE protocols. The proof of security is in the random oracle model and is based on the hardness of the bilinear Diffie-Hellman problem. The protocol also turns out to be the most efficient of all the previously known protocols. It can work over a class of asymmetric pairings for better efficiency at higher bit security levels.