A comprehensive formal analysis of 5G handover-Reference-Cited by-同舟云学术

A comprehensive formal analysis of 5G handover

Published:2021-06-28 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks
language:
Short-container-title:

Author:

Peltonen Aleksi¹,Sasse Ralf²,Basin David²

Affiliation:

1. Aalto University, Espoo, Finland

2. ETH Zurich, Zurich, Switzerland

Funder

Academy of Finland

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3448300.3467823

Reference23 articles.

1. 3GPP. 2020. 3GPP System Architecture Evolution (SAE); Security architecture. TS 33.401 V16.3.0. 3GPP. 2020. 3GPP System Architecture Evolution (SAE); Security architecture. TS 33.401 V16.3.0.

2. 3GPP. 2020. General Packet Radio Service (GPRS) enhancements for Evolved Universal Terrestrial Radio Access Network (E-UTRAN) access. TS 23.401 V16.7.0. 3GPP. 2020. General Packet Radio Service (GPRS) enhancements for Evolved Universal Terrestrial Radio Access Network (E-UTRAN) access. TS 23.401 V16.7.0.

3. 3GPP. 2020. Generic Authentication Architecture (GAA); Generic Bootstrapping Architecture (GBA). TS 33.220 V16.7.0. 3GPP. 2020. Generic Authentication Architecture (GAA); Generic Bootstrapping Architecture (GBA). TS 33.220 V16.7.0.

4. 3GPP. 2020. NR and NG-RAN Overall Description. TS 38.300 V16.2.0. 3GPP. 2020. NR and NG-RAN Overall Description. TS 38.300 V16.2.0.

5. 3GPP. 2020. Procedures for the 5G System (5GS). TS 23.502 V16.5.0. 3GPP. 2020. Procedures for the 5G System (5GS). TS 23.502 V16.5.0.

Cited by 26 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Formal Analysis of Data Distribution Service Security;Proceedings of the 19th ACM Asia Conference on Computer and Communications Security;2024-07

2. Dependency-Graph Enabled Formal Analysis for 5G AKA Protocols: Assumption Propagation and Verification;ICC 2024 - IEEE International Conference on Communications;2024-06-09

3. Secure and Efficient Group Handover Protocol in 5G Non-Terrestrial Networks;ICC 2024 - IEEE International Conference on Communications;2024-06-09

4. Shortcuts: A Simple Mechanism for Reducing the Data Path Delay in Beyond 5G and 6G Networks;2024 27th Conference on Innovation in Clouds, Internet and Networks (ICIN);2024-03-11

5. Formal-Guided Fuzz Testing: Targeting Security Assurance From Specification to Implementation for 5G and Beyond;IEEE Access;2024