EGHR: Efficient group-based handover authentication protocols for mMTC in 5G wireless networks. (15th January 2018)

• Record Type: Journal Article
• Authors: Cao, Jin; Ma, Maode; Li, Hui; Fu, Yulong; Liu, Xuefeng
• Is Part Of: Journal of network and computer applications. Volume 102(2018)
• Page Start: 1
• Page End: 16
• Publication Date: 2018-01-15
• Subjects: 5G fifth generation -- 3GPP 3rd Generation Partnership Project -- MTC Machine Type Communication -- mMTC massive MTC -- LTE-A Long Term Evolution-Advanced -- WLAN Wireless Local Area Network -- LPN Low power node -- HPN High power node -- HetNet heterogeneous network -- EAP-AKA Extensible Authentication Protocol-Authentication and Key Agreement -- SN Serving network -- HN Home network -- BS base station -- MD MTC device -- MDleader MTC group leader -- AMAC Aggregate Message Authentication Code -- EPC Evolved Packet Core -- E-UTRAN Evolved-Universal Terrestrial Radio Access Network -- MME Mobility Management Entity -- S-GW Serving Gateway -- PDN-GW Packet Data Network Gateway -- ePDG Evolved Packet Data Gateway -- HAAA Home Authentication, Authorization and Accounting Server -- HSS Home Subscriber Server -- eNB/HeNB eNodeB/Home eNB -- EPS AKA Evolved Packet System Authentication and Key Agreement -- AG Access Gateway -- AAAWLAN WLAN's Authentication, Authorization and Accounting Server -- HIU Hybrid Interconnection Unit -- PLC Power line communication -- AP Access Point -- AVISPA Automated Validation of Internet Security Protocols and Applications -- SPAN ANimator for AVISPA -- HLPSL High-Level Protocol Specification Language -- OFMC On-the-fly Model-Checker -- CL-AtSe Constraint-Logic-based Attack Searcher -- SATMC SAT-based Model-Checker -- TA4SP Tree Automata based on Automata based on Automatic Approximations for the Analysis of Security Protocol; Group-based handover authentication -- 5G -- MMTC -- BAN logic -- AVISPA and SPAN; Microcomputers -- Periodicals; Computer networks -- Periodicals; Application software -- Periodicals; Micro-ordinateurs -- Périodiques; Réseaux d'ordinateurs -- Périodiques; Logiciels d'application -- Périodiques; Application software; Computer networks; Microcomputers; Periodicals; 004.05; 004
• DOI: 10.1016/j.jnca.2017.11.009
• Languages: English
• ISSNs: 1084-8045

Abstract

Abstract: Future fifth generation (5G) wireless network will be a flexible, open, and highly heterogeneous with densified small cell deployment and overlay coverage. The design of the access authentication for massive machine type communication (mMTC) devices in 5G heterogeneous networks is the challenging issue to achieve 5G applications security due to stringent latency and concurrent access requirements for 5G multi-tier architecture. The current roaming authentication mechanisms between Long Term Evolution-Advanced (LTE-A) network and Wireless Local Area Network (WLAN) proposed by 3GPP incur several protocol attacks with unacceptable delay for real-time mMTC applications. In this paper, we propose secure and efficient group-based handover authentication and re-authentication protocols for mMTC in 5G wireless networks when mMTC devices simultaneously roam into the new networks. Our proposed protocols outperform the standard mechanisms and other related protocols in terms of authentication signaling overhead and bandwidth consumption with robust handover security requirements. The BAN logic and the formal verification tool by using the AVISPA and SPAN show that our proposed protocols are secure against various malicious attacks.