利用大语言模型将RFC协议规范翻译为CPSA定义
Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions
AI总结：
本研究提出利用大语言模型自动将RFC协议规范翻译为CPSA兼容的结构化模型，研发了RFC协议翻译器，可降低协议分析复杂度，提升形式化分析可及性，助力增强互联网协议安全性。
摘要：
本文提出利用大语言模型（LLMs）将请求评议（Request for Comments，RFC）协议规范翻译为与密码协议形状分析器（Cryptographic Protocol Shapes Analyzer，CPSA）兼容的格式。这一新颖方法旨在通过提供自动化方法，将协议规范转换为适用于CPSA的结构化模型，降低协议分析的复杂度与工作量。本文讨论了RFC协议翻译器的实现、其在提升形式化方法分析可及性方面的作用，以及其在改善互联网协议安全性方面的潜力。
英文摘要：
This paper proposes the use of Large Language Models (LLMs) for translating Request for Comments (RFC) protocol specifications into a format compatible with the Cryptographic Protocol Shapes Analyzer (CPSA). This novel approach aims to reduce the complexities and efforts involved in protocol analysis, by offering an automated method for translating protocol specifications into structured models suitable for CPSA. In this paper we discuss the implementation of an RFC Protocol Translator, its impact on enhancing the accessibility of formal methods analysis, and its potential for improving the security of internet protocols.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
