Name
Abstract | ||
|---|---|---|
5G network will serve billions of people worldwide in the near future and protecting human privacy from being violated is one of its most important goals. In this paper, we carefully studied the 5G authentication protocols (namely 5G AKA and EAP-AKA') and a location sniffing attack exploiting 5G authentication protocols vulnerability is found. The attack can be implemented by an attacker through inexpensive devices. To cover this vulnerability, a fix scheme based on the existing PKI mechanism of 5G is proposed to enhance the authentication protocols. The proposed scheme is successfully verified with formal methods and automatic verification tool TAMARIN. Finally, the communication overhead, computational cost and storage overhead of the scheme are analyzed. The results show that the security of the fixed authentication protocol is greatly improved by just adding a little calculation and communication overhead. |
Year | DOI | Venue |
|---|---|---|
2020 | 10.1587/transinf.2019FOL0001 | IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS |
Keywords | DocType | Volume |
5G network, authentication protocols, security, formal methods | Journal | E103D |
Issue | ISSN | Citations |
8 | 1745-1361 | 0 |
PageRank | References | Authors |
0.34 | 0 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Xinxin Hu | 1 | 56 | 6.54 |
| Cai-Xia Liu | 2 | 17 | 2.73 |
| Shuxin Liu | 3 | 29 | 4.17 |
| Jinsong Li | 4 | 0 | 0.34 |
| Xiaotao Cheng | 5 | 0 | 0.68 |