A Reflection on the Security of Two-Party Key Establishment Protocols.
Qiang Tang
Abstract
Abstract. Two-party key establishment has been a very fruitful research area in cryptography, with many security models and numerous protocols proposed. In this paper, we take another look at the YAK protocol and the HMQV proto-cols and present some extended analysis. Motivated by our analysis, we reflect on the security properties that are desired by two-party key establishment protocols, and their formalizations. In particular, we take into account the in-terface between a key establishment protocol and the applications which may invoke it, and emphasize the concept of session and the usage of session identi-fier. Moreover, we show how to design a two-party key establishment protocol to achieve both key authentication and entity authentication properties in our security model.