A mechanical approach to derive identity-based protocols from Diffie-Hellman-based protocols
Files
(Published version)
Date
2014
Authors
Choo, K.K.R.
Nam, J.
Wong, D.
Editors
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Journal article
Citation
Information Sciences, 2014; 281:182-200
Statement of Responsibility
Conference Name
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 et al. (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.
School/Discipline
Dissertation Note
Provenance
Description
Access Status
Rights
Copyright 2014 Elsevier
Access Condition Notes: Postprint available 10 October 2016.