  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.
