RFCLLM：评估大语言模型对网络协议状态机的推理能力
英文标题：RFCLLM: Evaluating LLMs' Reasoning Ability of Network Protocol State Machines
该研究提出了 RFCLLM 基准，旨在系统性评估大语言模型（LLM）将自然语言网络协议文本规范映射为形式化状态机表示的能力。在网络安全和协议测试中，业界通常默认 LLM 能够精准理解协议规范，但这一假设此前缺乏系统性验证。RFCLLM 的提出为评估模型在复杂协议逻辑推理与形式化建模上的真实水平提供了标准，有助于开发者更可靠地利用 AI 进行协议设计验证与自动化漏洞挖掘。
打开原文相关 2.4 · 机会 0
2.1 KB
612 B
380 B
9.1 KB
32.7 KB
22.8 KB
24.2 KB
34.7 KB
中文
论文摘要
arXiv 编号：arXiv:2609.13389v1
公告类型：new
摘要内容：
将文本规范（Textual Specifications）映射为形式化表示（Formal Representations），对于确保协议设计和实现的正确性至关重要。当前在网络安全或测试中，由大语言模型（LLM）生成的映射通常被假定能够完全理解协议规范……
BibTeX 格式引用
（原文仅提供引用弹窗占位符，未包含具体 BibTeX 词条内容）
English / 原文
BibTeX formatted citation
×