Formal Analysis of Access Control Mechanism of 5G Core Network

Open Webpage

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

Published: 2023, Last Modified: 06 Jan 2026CCS 2023EveryoneRevisionsBibTeXCC BY-SA 4.0