用大模型从网络协议文档自动生成可交互的逻辑图，提升理解效率。
RFSeek and Ye Shall Find
- 基于大模型提取RFC文本中的协议逻辑，生成带溯源的可视化图
- 能还原官方图示并发现原文中遗漏的关键逻辑节点与边
- 适合协议开发者、安全研究人员快速掌握复杂协议细节
请求评论（RFC）是网络协议的详尽规范文档，但其以文字为主的格式和长篇幅常阻碍精确的理解。我们提出RFSeek，一个交互式工具，能自动从RFC中提取协议逻辑的视觉摘要。该工具利用大语言模型（LLMs）生成带有来源追溯、可探索的图表，既呈现官方状态机，也揭示仅存在于文本中的额外逻辑。相比现有RFC可视化，RFSeek的视觉摘要更具透明性且更易审计。通过一系列用例展示其潜力，包括引导式知识提取和语义差异分析，应用于TCP、QUIC、PPTP和DCCP等协议。实践中，RFSeek不仅重建了部分规范中包含的官方图示，更发现了文本中描述但未在图示中体现的重要逻辑节点或边。对于复杂协议如QUIC，该方法还生成了新的可视化图。我们提出的“摘要可视化”方法，展示了将大模型与用户定制化可视化结合以增强协议理解、支持可靠实现的前景。
原文摘要 · Abstract (English)
Requests for Comments (RFCs) are extensive specification documents for network protocols, but their prose-based format and their considerable length often impede precise operational understanding. We present RFSeek, an interactive tool that automatically extracts visual summaries of protocol logic from RFCs. RFSeek leverages large language models (LLMs) to generate provenance-linked, explorable diagrams, surfacing both official state machines and additional logic found only in the RFC text. Compared to existing RFC visualizations, RFSeek's visual summaries are more transparent and easier to audit against their textual source. We showcase the tool's potential through a series of use cases, including guided knowledge extraction and semantic diffing, applied to protocols such as TCP, QUIC, PPTP, and DCCP. In practice, RFSeek not only reconstructs the RFC diagrams included in some specifications, but, more interestingly, also uncovers important logic such as nodes or edges described in the text but missing from those diagrams. RFSeek further derives new visualization diagrams for complex RFCs, with QUIC as a representative case. Our approach, which we term \emph{Summary Visualization}, highlights a promising direction: combining LLMs with formal, user-customized visualizations to enhance protocol comprehension and support robust implementations.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。