C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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