From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis

Shiyu Yuan, Jingda Yang, Sudhanshu Arya +2

Formal method-based analysis of the 5G Wireless Communication Protocol is crucial for identifying logical vulnerabilities and facilitating an all-encompassing security assessment,…