A provably secure authenticated key exchange protocol

Abstract

Authenticated key exchange protocol not only allows parities to compute the shared session key but also ensures authenticity of the parties. In this work, we propose an authenticated key exchange protocol CMQV+ which is an improved version of the protocol CMQV. Furthermore, we show that our proposed scheme was provably secure with a tight security reduction under eCK model in random oracle model. Also, the proposed protocol is efficient.