X Hu, C Liu, S Liu, W You, Y Li, Y Zhao - IEEE Access, 2019 - ieeexplore.ieee.org
This paper proposes a systematic analysis method for 5G Non-Access Stratum Signalling
security based on formal analysis, which has identified 10 new 5G protocol vulnerabilities …