Relations among Security Models for Authenticated Key Exchange

• Published in: ETRI journal Vol. 36; no. 5; pp. 856 - 864
• Main Authors: Kwon, Jeong Ok, Jeong, Ik Rae
• Format: Journal Article
• Language: English
• Published: Electronics and Telecommunications Research Institute (ETRI) 01.10.2014; 한국전자통신연구원
• Subjects: compiler; HMQV; KAM; Key establishment; security model; 전자/정보통신공학
• ISSN: 1225-6463; 2233-7326
• DOI: 10.4218/etrij.14.0113.1071

Usually, key‐establishment protocols are suggested in a security model. However, there exist several different security models in the literature defined by their respective security notions. In this paper, we study the relations between the security models of key establishment. For the chosen security models, we first show that some proven key‐establishment protocols are not secure in the more restricted security models. We then suggest two compilers by which we can convert a key‐establishment protocol that is secure in a specific security model into a key‐establishment protocol that is still secure in a more restricted security model.