SPEC5G: A Dataset for 5G Cellular Network Protocol Analysis

5G is the 5 th generation state-of-the-art cellular network protocol designed to connect virtually everyone and everything with increased speed and reduced latency.Therefore, its development, analysis, and security are critical.However, all approaches to the 5G protocol development and security analysis, e.g., property extraction, protocol summarization, and semantic analysis of the protocol specifications and implementations are completely manual.To reduce such manual efforts, in this paper, we curate SPEC5G-the first-ever public 5G dataset for NLP research.The dataset contains 3,547,587 sentences with 134M words, from 13094 cellular network specifications and 13 online websites.By leveraging large-scale pre-trained language models that have achieved state-of-the-art results on NLP tasks, we use this dataset for security-related text classification and summarization.Security-related text classification can be used to extract relevant security-related properties for protocol testing.On the other hand, summarization can help developers and practitioners understand the highlevel idea of the protocol, which is itself a daunting task.To ensure the research community can benefit from this work, all the datasets and accompanying codebase are made publicly available 1 .