Home
Research
Projects
Software Artifacts
Reported Vulnerabilities
Publications
Conference
Journal
Patent
Workshop
Industrial Conference
Poster
Students
Media Coverage
Teaching
Services
SyNSec Lab
Advice
CV
Contact Me
Formal Analysis of Access Control Mechanism of 5G Core Network
Year
2023
Type(s)
Conference
Author(s)
Mujtahid Akon, Tianchang Yang, Yilu Dong, and
Syed Rafiul Hussain
Source
The ACM Conference on Computer and Communications Security
(CCS), 2023
Download FIle