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

Mujtahid Akon Tianchang Yang Yilu Dong Syed Rafiul Hussain

Published in: CCS (2023)

Keyphrases

formal analysis
formal methods
access control mechanism
security policies
access control
network traffic
computer networks
agent model
ban logic
social networks
lightweight
heterogeneous networks