A mechanical approach to derive identity-based protocols from Diffie-Hellman-based protocols

Kim-Kwang Raymond Choo; Junghyun Nam; Dongho Won

Paper 2014/358

A mechanical approach to derive identity-based protocols from Diffie-Hellman-based protocols

Kim-Kwang Raymond Choo, Junghyun Nam, and Dongho Won

Abstract

We describe a mechanical approach to derive identity-based (ID-based) protocols from existing Diffie-Hellman-based ones. As case studies, we present the ID-based versions of the Unified Model protocol, UMP-ID, Blake-Wilson, Johnson & Menezes (1997)'s protocol, BJM-ID, and Krawczyk (2005)'s HMQV protocol, HMQV-ID. We describe the calculations required to be modified in existing proofs. We conclude with a comparative security and efficiency of the three proposed ID-based protocols (relative to other similar published protocols) and demonstrate that our proposed ID-based protocols are computationally efficient.

Metadata

Available format(s): PDF
Publication info: Published elsewhere. Minor revision. Information Sciences
Keywords: Key establishment protocols Identity-based (ID-based) protocols Diffie--Hellman-based protocols
Contact author(s): jhnam @ kku ac kr
History: 2014-05-30: last of 2 revisions; 2014-05-23: received; See all versions
Short URL: https://ia.cr/2014/358
License: CC BY

BibTeX

@misc{cryptoeprint:2014/358,
      author = {Kim-Kwang Raymond Choo and Junghyun Nam and Dongho Won},
      title = {A mechanical approach to derive identity-based protocols from Diffie-Hellman-based protocols},
      howpublished = {Cryptology {ePrint} Archive, Paper 2014/358},
      year = {2014},
      url = {https://eprint.iacr.org/2014/358}
}