Bookmark Saya

arXiv Open Access 2024

Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions

Martin Duclos Ivan A. Fernandez Kaneesha Moore Sudip Mittal Edward Zieglar
Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.CR cs.NI cs.SE

Penulis (5)

M

Martin Duclos

I

Ivan A. Fernandez

K

Kaneesha Moore

S

Sudip Mittal

E

Edward Zieglar

Format Sitasi

APA MLA BibTeX
Duclos, M., Fernandez, I.A., Moore, K., Mittal, S., Zieglar, E. (2024). Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions. https://arxiv.org/abs/2402.00890

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2024
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓