Cryptology ePrint Archive: Report 2020/1566

An efficient and provably secure authenticated key agreement scheme for mobile edge computing

Mohammad Amin Rakeei and Farokhlagha Moazami

Abstract: Though Mobile Cloud Computing (MCC) and Mobile Edge Computing (MEC) technologies have brought more convenience to mobile services over past few years, but security concerns like mutual authentication, user anonymity, user untraceability, etc., have yet remained unresolved. In recent years, many efforts have been made to design security protocols in the context of MCC and MEC, but most of them are prone to security threats. In this paper, we analyze Jia et al.ís scheme, one of the latest authentication protocols for MEC environment and we show this scheme is vulnerable to user impersonation and ephemeral secret leakage attacks. Further, we demonstrate that the aforementioned attacks can be similarly applied to Li et al.ís scheme which recently derived from Jia et al.ís protocol. In this paper, we propose a provably secure authenticated key agreement protocol on the basis of Jia et al.ís scheme that not only withstands security weaknesses of it, but also offers low computational and communicational costs compared to the other related schemes. As a formal security proof, we simulate our scheme with widely used AVISPA tool. Moreover, we show the scalability and practicality of our scheme in a MEC environment through NS-3 simulation.

Category / Keywords: cryptographic protocols / mobile edge computing (MEC), authentication, provable security, AVISPA, NS-3

Date: received 15 Dec 2020, last revised 16 Jan 2021

Contact author: m rakeei at mail sbu ac ir

Available format(s): PDF | BibTeX Citation

Version: 20210116:080613 (All versions of this report)

Short URL:

[ Cryptology ePrint archive ]