Author:
Wang Siyuan,Cui Zhiwei,Xu Jie,Cui Baojiang
Publisher
Springer Nature Switzerland
Reference11 articles.
1. 3GPP. System architecture for the 5G System (5GS). TS 23.501 (2021). https://portal.3gpp.org/desktopmodules/Specifications/SpecificationDetails.aspx?specificatio- nId=3144
2. 3GPP. Non-Access-Stratum (NAS) protocol for 5G System (5GS); Stage3. TS 24.501 (2021). https://portal.3gpp.org/desktopmodules/Specifications/SpecificationDetails.aspx? specificationId=3370
3. Hussain, S., Chowdhury, O., Mehnaz, S., et al. LTEInspector: a systematic approach for adversarial testing of 4G LTE. Network and Distributed Systems Security (NDSS) Symposium (2018)
4. Hussain, S.R., Echeverria, M., Karim, I., et al.: 5G reasoner: a property-directed security and privacy analysis framework for 5G cellular network protocol. In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, pp. 669-684 (2019)
5. Karim, I., Hussain, S.R., Bertino, E.: ProChecker: an automated security and privacy analysis framework for 4G LTE protocol implementations. In: 2021 IEEE 41st International Conference on Distributed Computing Systems (ICDCS), pp. 773-785. IEEE (2021)