Hermes：通过从自然语言规范中合成有限状态机解锁移动网络协议的安全分析
原文中文，约400字，阅读约需1分钟。发表于：。该研究发表了 Hermes - 一个端到端框架，可自动从自然语言的细胞规范中生成形式表示。通过开发神经成分解析器 NEUTREX，将转换相关的文本处理并提取转换组件（即状态、条件和动作），并通过依赖解析树将这些转换组件转化为逻辑公式。最后，将这些逻辑公式编译成转换，并创建有限状态机的形式模型。通过在 4G NAS、5G NAS 和 5G RRC 规范上进行评估，Hermes 的整体准确率为...
该研究提出了 Hermes 框架，可自动从自然语言的细胞规范中生成形式表示。通过神经成分解析器 NEUTREX，将转换相关的文本处理并提取转换组件，最终编译成转换并创建有限状态机的形式模型。在评估中，Hermes 的整体准确率为 81-87％，相对于现有技术有重大改进。安全分析揭示了 3 个新漏洞、19 个先前的攻击和 7 个偏差。
