BriefGPT.xyz
Aug, 2023
从模糊到明确:NLP辅助的5G规范抽象用于形式分析
From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis
HTML
PDF
Shiyu Yuan, Jingda Yang, Sudhanshu Arya, Carlo Lipizzi, Ying Wang
TL;DR
通过自然语言处理辅助方法,在协议设计中提供了一种将正式方法应用于宏大复杂规范和协议分析的高效流程,尤其适用于5G和下一代通信。
Abstract
formal method-based analysis
of the
5g wireless communication protocol
is crucial for identifying logical vulnerabilities and facilitating an all-encompassing security assessment, especially in the design phase.
→