利用大型语言模型将RFC协议规范翻译为CPSA定义
密码学与安全
2024-02-05 v1 网络与互联网体系结构
软件工程
摘要
本文提出使用大型语言模型（LLMs）将请求评论（RFC）协议规范翻译成与密码协议形状分析器（CPSA）兼容的格式。这种新颖的方法旨在通过提供一种自动化的方法将协议规范翻译成适合CPSA的结构化模型，从而减少协议分析的复杂性和工作量。在本文中，我们讨论了RFC协议翻译器的实现、其对增强形式化方法分析可访问性的影响，以及其在提高互联网协议安全性方面的潜力。
引用
@article{arxiv.2402.00890,
title = {Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions},
author = {Martin Duclos and Ivan A. Fernandez and Kaneesha Moore and Sudip Mittal and Edward Zieglar},
journal= {arXiv preprint arXiv:2402.00890},
year = {2024}
}