Formal Analysis of Access Control Mechanism of 5G Core Network

Year

2023

Type(s)

Conference proceedings

Author(s)

Mujtahid Akon, Tianchang Yang, Yilu Dong, and Syed Rafiul Hussain

Source

The ACM Conference on Computer and Communications Security (CCS), 2023