Bellare, M., Canetti, R. and Krawczyk, H. (1998) A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols. Proceedings of the 30th Annual ACM Symposium on Theory of Computing, ACM, Location, pp.

has been cited by the following article:

• TITLE: Tightly-Secure Authenticated Key Exchange without NAXOS’ Approach Based on Decision Linear Problem

  AUTHORS: Mojahed Mohamed, Xiaofen Wang, Xiaosong Zhang

  KEYWORDS: AKE, eCK Model, NAXOS’ Approach, Decision Linear Assumption

  JOURNAL NAME: Open Access Library Journal, Vol.3 No.10, October 11, 2016

  ABSTRACT: Design Secure Authenticated Key Exchange (AKE) protocol without NAXOS approach is remaining as an open problem. NAXOS approach [4] is used to hide the ephemeral secret key from an adversary even if the adversary in somehow may obtain the ephemeral secret key. Using NAXOS approach will cause two main drawbacks: (i) leaking of the static secret key which will be utilized in computing the exponent of the ephemeral public key; (ii) maximization of using random oracle when applying to the exponent of the ephemeral public key and session key derivation. In this paper, we present another AKE-secure without NAXOS approach based on decision linear assumption in the random oracle model. We fasten our security using games sequences tool which gives tight security for our protocol.