Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866916112585719808 |
|---|---|
| author | Duclos, Martin Fernandez, Ivan A. Moore, Kaneesha Mittal, Sudip Zieglar, Edward |
| author_facet | Duclos, Martin Fernandez, Ivan A. Moore, Kaneesha Mittal, Sudip Zieglar, Edward |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_00890 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions Duclos, Martin Fernandez, Ivan A. Moore, Kaneesha Mittal, Sudip Zieglar, Edward Cryptography and Security Networking and Internet Architecture Software Engineering 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. |
| title | Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions |
| topic | Cryptography and Security Networking and Internet Architecture Software Engineering |
| url | https://arxiv.org/abs/2402.00890 |