Formal Analysis of Access Control Mechanism of 5G Core Network.

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

Browse the full CCS paper archive.