The 5G-AKA Authentication Protocol Privacy

11/16/2018
by   Adrien Koutsos, et al.
0

We study the 5G-AKA authentication protocol described in the 5G mobile communication standards. This version of AKA tries to achieve a better privacy than the 3G and 4G versions through the use of asymmetric randomized encryption. Nonetheless, we show that except for the IMSI-catcher attack, all known attacks against 5G-AKA privacy still apply. Next, we modify the 5G-AKA protocol to prevent these attacks, while satisfying the cost and efficiency constraints of the 5G-AKA protocol. We then formally prove that our protocol is sigma-unlinkable. This is a new security notion, which allows for a fine-grained quantification of a protocol privacy. Our security proof is carried out in the Bana-Comon indistinguishability logic. We also prove mutual authentication as a secondary result.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

07/25/2019

Cryptanalysis of two recently proposed ultralightweight authentication protocol for IoT

By expanding the connection of objects to the Internet and their entry t...
08/25/2018

Formal Analysis of an E-Health Protocol

Given the sensitive nature of health data, security and privacy in e-hea...
09/23/2019

LEAP: A Lightweight Encryption and Authentication Protocol for In-Vehicle Communications

The Controller Area Network (CAN) is considered as the de-facto standard...
05/05/2021

Breaking and Fixing Unlinkability of the Key Agreement Protocol for 2nd Gen EMV Payments

To address privacy problems with the EMV standard, EMVco proposed a Blin...
10/02/2019

Sensor Networks in Healthcare: Ensuring Confidentiality and User Anonymity in WBAN

Wireless body area network(WBAN) is becoming more popular in recent year...
12/31/2017

Cyclic group based mutual authentication protocol for RFID system

Widespread deployment of RFID system arises security and privacy concern...
09/18/2018

Security and Protocol Exploit Analysis of the 5G Specifications

The Third Generation Partnership Project (3GPP) released its first 5G se...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.