MRSA: Mask Random Array Protocol for Efficient Secure Handover Authentication in 5G HetNets

Yibing Liu, Lijun Huo, Jun Wu*, Mohsen Guizani

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)

Abstract

The emergence of new communication applications adds high heterogeneity to 5G-networks. With the increase of heterogeneity, handover of user equipment between different service HetNets is frequent. It must smoothly realize user-free switching to provide services continuously. Although the 3 rd Generation Partnership Project (3GPP) has proposed a standard protocol for this scenario, it is found that these protocols cannot satisfy key forward/backward secrecy, lacks mutual authentication, etc. Further, it can be subjected to replay, DoS and other attacks. To alleviate these problems, we propose a mask random array protocol, MRSA. For efficient, secure handover authentication in 5G HetNets, we first design a verification mechanism called mask array, which depends on a random number self-circulating encryption structure. The mechanism can not only check the identity of the communication entity but also evaluate the freshness of the message. Second, we devise the mask array-based key derivation method to ensure the whole mechanism's key security. Third, formal proof and automated analysis are established to verify the efficiency and safety of the proposed MRSA protocol. Finally, function and robustness analysis illustrate the ability to resist attacks, while the simulation base station communication analysis shows the efficiency of the protocol from three aspects of data, time and energy. MRSA has significant performance advantages compared to existing schemes in 5G HetNets.

Original languageEnglish
Pages (from-to)3809-3827
Number of pages19
JournalIEEE Transactions on Dependable and Secure Computing
Volume20
Issue number5
DOIs
Publication statusPublished - 2023 Sept 1

Keywords

  • 5G-handover
  • BAN-LOGIC
  • HetNets
  • formal methods
  • privacy

ASJC Scopus subject areas

  • Electrical and Electronic Engineering
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'MRSA: Mask Random Array Protocol for Efficient Secure Handover Authentication in 5G HetNets'. Together they form a unique fingerprint.

Cite this