• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Mujtahid AkonTianchang YangYilu DongSyed 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