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

PDF

Martin Duclos , Ivan Fernandez , Kaneesha Moore , Sudip Mittal , Edward Zieglar ·

YOU? · · 2024 · Open Access · · DOI: https://doi.org/10.48550/arxiv.2402.00890

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.

Related Topics

Concepts

Protocol (science) Computer science Programming language Medicine Pathology Alternative medicine

Metadata

Type: preprint
Language: en
Landing Page: http://arxiv.org/abs/2402.00890
PDF: https://arxiv.org/pdf/2402.00890
OA Status: green
Cited By: 1
Related Works: 10
OpenAlex ID: https://openalex.org/W4391555520

All OpenAlex metadata

Raw OpenAlex JSON

OpenAlex ID: https://openalex.org/W4391555520

Canonical identifier for this work in OpenAlex
DOI: https://doi.org/10.48550/arxiv.2402.00890

Digital Object Identifier
Title: Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions

Work title
Type: preprint

OpenAlex work type
Language: en

Primary language
Publication year: 2024

Year of publication
Publication date: 2024-01-30

Full publication date if available
Authors: Martin Duclos, Ivan Fernandez, Kaneesha Moore, Sudip Mittal, Edward Zieglar

List of authors in order
Landing page: https://arxiv.org/abs/2402.00890

Publisher landing page
PDF URL: https://arxiv.org/pdf/2402.00890

Direct link to full text PDF
Open access: Yes

Whether a free full text is available
OA status: green

Open access status per OpenAlex
OA URL: https://arxiv.org/pdf/2402.00890

Direct OA link when available
Concepts: Protocol (science), Computer science, Programming language, Medicine, Pathology, Alternative medicine

Top concepts (fields/topics) attached by OpenAlex
Cited by: 1

Total citation count in OpenAlex
Citations by year (recent): 2025: 1

Per-year citation counts (last 5 years)
Related works (count): 10

Other works algorithmically related by OpenAlex

Full payload

id	https://openalex.org/W4391555520
doi	https://doi.org/10.48550/arxiv.2402.00890
ids.doi	https://doi.org/10.48550/arxiv.2402.00890
ids.openalex	https://openalex.org/W4391555520
fwci
type	preprint
title	Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions
biblio.issue
biblio.volume
biblio.last_page
biblio.first_page
topics[0].id	https://openalex.org/T12326
topics[0].field.id	https://openalex.org/fields/17
topics[0].field.display_name	Computer Science
topics[0].score	0.9682999849319458
topics[0].domain.id	https://openalex.org/domains/3
topics[0].domain.display_name	Physical Sciences
topics[0].subfield.id	https://openalex.org/subfields/1708
topics[0].subfield.display_name	Hardware and Architecture
topics[0].display_name	Network Packet Processing and Optimization
topics[1].id	https://openalex.org/T12127
topics[1].field.id	https://openalex.org/fields/17
topics[1].field.display_name	Computer Science
topics[1].score	0.9144999980926514
topics[1].domain.id	https://openalex.org/domains/3
topics[1].domain.display_name	Physical Sciences
topics[1].subfield.id	https://openalex.org/subfields/1705
topics[1].subfield.display_name	Computer Networks and Communications
topics[1].display_name	Software System Performance and Reliability
topics[2].id	https://openalex.org/T10400
topics[2].field.id	https://openalex.org/fields/17
topics[2].field.display_name	Computer Science
topics[2].score	0.9126999974250793
topics[2].domain.id	https://openalex.org/domains/3
topics[2].domain.display_name	Physical Sciences
topics[2].subfield.id	https://openalex.org/subfields/1705
topics[2].subfield.display_name	Computer Networks and Communications
topics[2].display_name	Network Security and Intrusion Detection
is_xpac	False
apc_list
apc_paid
concepts[0].id	https://openalex.org/C2780385302
concepts[0].level	3
concepts[0].score	0.7140835523605347
concepts[0].wikidata	https://www.wikidata.org/wiki/Q367158
concepts[0].display_name	Protocol (science)
concepts[1].id	https://openalex.org/C41008148
concepts[1].level	0
concepts[1].score	0.617156445980072
concepts[1].wikidata	https://www.wikidata.org/wiki/Q21198
concepts[1].display_name	Computer science
concepts[2].id	https://openalex.org/C199360897
concepts[2].level	1
concepts[2].score	0.43158629536628723
concepts[2].wikidata	https://www.wikidata.org/wiki/Q9143
concepts[2].display_name	Programming language
concepts[3].id	https://openalex.org/C71924100
concepts[3].level	0
concepts[3].score	0.09588667750358582
concepts[3].wikidata	https://www.wikidata.org/wiki/Q11190
concepts[3].display_name	Medicine
concepts[4].id	https://openalex.org/C142724271
concepts[4].level	1
concepts[4].score	0.0
concepts[4].wikidata	https://www.wikidata.org/wiki/Q7208
concepts[4].display_name	Pathology
concepts[5].id	https://openalex.org/C204787440
concepts[5].level	2
concepts[5].score	0.0
concepts[5].wikidata	https://www.wikidata.org/wiki/Q188504
concepts[5].display_name	Alternative medicine
keywords[0].id	https://openalex.org/keywords/protocol
keywords[0].score	0.7140835523605347
keywords[0].display_name	Protocol (science)
keywords[1].id	https://openalex.org/keywords/computer-science
keywords[1].score	0.617156445980072
keywords[1].display_name	Computer science
keywords[2].id	https://openalex.org/keywords/programming-language
keywords[2].score	0.43158629536628723
keywords[2].display_name	Programming language
keywords[3].id	https://openalex.org/keywords/medicine
keywords[3].score	0.09588667750358582
keywords[3].display_name	Medicine
language	en
locations[0].id	pmh:oai:arXiv.org:2402.00890
locations[0].is_oa	True
locations[0].source.id	https://openalex.org/S4306400194
locations[0].source.issn
locations[0].source.type	repository
locations[0].source.is_oa	True
locations[0].source.issn_l
locations[0].source.is_core	False
locations[0].source.is_in_doaj	False
locations[0].source.display_name	arXiv (Cornell University)
locations[0].source.host_organization	https://openalex.org/I205783295
locations[0].source.host_organization_name	Cornell University
locations[0].source.host_organization_lineage	https://openalex.org/I205783295
locations[0].license
locations[0].pdf_url	https://arxiv.org/pdf/2402.00890
locations[0].version	submittedVersion
locations[0].raw_type	text
locations[0].license_id
locations[0].is_accepted	False
locations[0].is_published	False
locations[0].raw_source_name
locations[0].landing_page_url	http://arxiv.org/abs/2402.00890
locations[1].id	doi:10.48550/arxiv.2402.00890
locations[1].is_oa	True
locations[1].source.id	https://openalex.org/S4306400194
locations[1].source.issn
locations[1].source.type	repository
locations[1].source.is_oa	True
locations[1].source.issn_l
locations[1].source.is_core	False
locations[1].source.is_in_doaj	False
locations[1].source.display_name	arXiv (Cornell University)
locations[1].source.host_organization	https://openalex.org/I205783295
locations[1].source.host_organization_name	Cornell University
locations[1].source.host_organization_lineage	https://openalex.org/I205783295
locations[1].license
locations[1].pdf_url
locations[1].version
locations[1].raw_type	article
locations[1].license_id
locations[1].is_accepted	False
locations[1].is_published
locations[1].raw_source_name
locations[1].landing_page_url	https://doi.org/10.48550/arxiv.2402.00890
indexed_in	arxiv, datacite
authorships[0].author.id	https://openalex.org/A5109680623
authorships[0].author.orcid	https://orcid.org/0000-0003-2182-6496
authorships[0].author.display_name	Martin Duclos
authorships[0].author_position	first
authorships[0].raw_author_name	Duclos, Martin
authorships[0].is_corresponding	False
authorships[1].author.id	https://openalex.org/A5020856640
authorships[1].author.orcid	https://orcid.org/0000-0001-6133-5670
authorships[1].author.display_name	Ivan Fernandez
authorships[1].author_position	middle
authorships[1].raw_author_name	Fernandez, Ivan A.
authorships[1].is_corresponding	False
authorships[2].author.id	https://openalex.org/A5039870637
authorships[2].author.orcid
authorships[2].author.display_name	Kaneesha Moore
authorships[2].author_position	middle
authorships[2].raw_author_name	Moore, Kaneesha
authorships[2].is_corresponding	False
authorships[3].author.id	https://openalex.org/A5074949168
authorships[3].author.orcid	https://orcid.org/0000-0001-9151-8347
authorships[3].author.display_name	Sudip Mittal
authorships[3].author_position	middle
authorships[3].raw_author_name	Mittal, Sudip
authorships[3].is_corresponding	False
authorships[4].author.id	https://openalex.org/A5067159052
authorships[4].author.orcid
authorships[4].author.display_name	Edward Zieglar
authorships[4].author_position	last
authorships[4].raw_author_name	Zieglar, Edward
authorships[4].is_corresponding	False
has_content.pdf	False
has_content.grobid_xml	False
is_paratext	False
open_access.is_oa	True
open_access.oa_url	https://arxiv.org/pdf/2402.00890
open_access.oa_status	green
open_access.any_repository_has_fulltext	False
created_date	2024-02-06T00:00:00
display_name	Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions
has_fulltext	False
is_retracted	False
updated_date	2025-11-06T06:51:31.235846
primary_topic.id	https://openalex.org/T12326
primary_topic.field.id	https://openalex.org/fields/17
primary_topic.field.display_name	Computer Science
primary_topic.score	0.9682999849319458
primary_topic.domain.id	https://openalex.org/domains/3
primary_topic.domain.display_name	Physical Sciences
primary_topic.subfield.id	https://openalex.org/subfields/1708
primary_topic.subfield.display_name	Hardware and Architecture
primary_topic.display_name	Network Packet Processing and Optimization
related_works	https://openalex.org/W2748952813, https://openalex.org/W2390279801, https://openalex.org/W2358668433, https://openalex.org/W2376932109, https://openalex.org/W2001405890, https://openalex.org/W2382290278, https://openalex.org/W2478288626, https://openalex.org/W2350741829, https://openalex.org/W2530322880, https://openalex.org/W1596801655
cited_by_count	1
counts_by_year[0].year	2025
counts_by_year[0].cited_by_count	1
locations_count	2
best_oa_location.id	pmh:oai:arXiv.org:2402.00890
best_oa_location.is_oa	True
best_oa_location.source.id	https://openalex.org/S4306400194
best_oa_location.source.issn
best_oa_location.source.type	repository
best_oa_location.source.is_oa	True
best_oa_location.source.issn_l
best_oa_location.source.is_core	False
best_oa_location.source.is_in_doaj	False
best_oa_location.source.display_name	arXiv (Cornell University)
best_oa_location.source.host_organization	https://openalex.org/I205783295
best_oa_location.source.host_organization_name	Cornell University
best_oa_location.source.host_organization_lineage	https://openalex.org/I205783295
best_oa_location.license
best_oa_location.pdf_url	https://arxiv.org/pdf/2402.00890
best_oa_location.version	submittedVersion
best_oa_location.raw_type	text
best_oa_location.license_id
best_oa_location.is_accepted	False
best_oa_location.is_published	False
best_oa_location.raw_source_name
best_oa_location.landing_page_url	http://arxiv.org/abs/2402.00890
primary_location.id	pmh:oai:arXiv.org:2402.00890
primary_location.is_oa	True
primary_location.source.id	https://openalex.org/S4306400194
primary_location.source.issn
primary_location.source.type	repository
primary_location.source.is_oa	True
primary_location.source.issn_l
primary_location.source.is_core	False
primary_location.source.is_in_doaj	False
primary_location.source.display_name	arXiv (Cornell University)
primary_location.source.host_organization	https://openalex.org/I205783295
primary_location.source.host_organization_name	Cornell University
primary_location.source.host_organization_lineage	https://openalex.org/I205783295
primary_location.license
primary_location.pdf_url	https://arxiv.org/pdf/2402.00890
primary_location.version	submittedVersion
primary_location.raw_type	text
primary_location.license_id
primary_location.is_accepted	False
primary_location.is_published	False
primary_location.raw_source_name
primary_location.landing_page_url	http://arxiv.org/abs/2402.00890
publication_date	2024-01-30
publication_year	2024
referenced_works_count	0
abstract_inverted_index.a	19
abstract_inverted_index.In	58
abstract_inverted_index.an	45, 66
abstract_inverted_index.by	43
abstract_inverted_index.in	40
abstract_inverted_index.of	5, 65, 76, 87
abstract_inverted_index.on	72
abstract_inverted_index.to	33
abstract_inverted_index.we	61
abstract_inverted_index.RFC	67
abstract_inverted_index.and	37, 80
abstract_inverted_index.for	10, 13, 48, 56, 83
abstract_inverted_index.its	70, 81
abstract_inverted_index.the	3, 23, 35, 63, 74, 85
abstract_inverted_index.use	4
abstract_inverted_index.This	0, 29
abstract_inverted_index.aims	32
abstract_inverted_index.into	18, 52
abstract_inverted_index.this	59
abstract_inverted_index.with	22
abstract_inverted_index.(RFC)	15
abstract_inverted_index.CPSA.	57
abstract_inverted_index.Large	6
abstract_inverted_index.novel	30
abstract_inverted_index.paper	1, 60
abstract_inverted_index.(LLMs)	9
abstract_inverted_index.Models	8
abstract_inverted_index.Shapes	26
abstract_inverted_index.formal	77
abstract_inverted_index.format	20
abstract_inverted_index.impact	71
abstract_inverted_index.method	47
abstract_inverted_index.models	54
abstract_inverted_index.reduce	34
abstract_inverted_index.(CPSA).	28
abstract_inverted_index.Request	12
abstract_inverted_index.discuss	62
abstract_inverted_index.efforts	38
abstract_inverted_index.methods	78
abstract_inverted_index.Analyzer	27
abstract_inverted_index.Comments	14
abstract_inverted_index.Language	7
abstract_inverted_index.Protocol	25, 68
abstract_inverted_index.approach	31
abstract_inverted_index.internet	88
abstract_inverted_index.involved	39
abstract_inverted_index.offering	44
abstract_inverted_index.proposes	2
abstract_inverted_index.protocol	16, 41, 50
abstract_inverted_index.security	86
abstract_inverted_index.suitable	55
abstract_inverted_index.analysis,	42, 79
abstract_inverted_index.automated	46
abstract_inverted_index.enhancing	73
abstract_inverted_index.improving	84
abstract_inverted_index.potential	82
abstract_inverted_index.compatible	21
abstract_inverted_index.protocols.	89
abstract_inverted_index.structured	53
abstract_inverted_index.Translator,	69
abstract_inverted_index.translating	11, 49
abstract_inverted_index.complexities	36
abstract_inverted_index.Cryptographic	24
abstract_inverted_index.accessibility	75
abstract_inverted_index.implementation	64
abstract_inverted_index.specifications	17, 51
cited_by_percentile_year
countries_distinct_count	0
institutions_distinct_count	5
citation_normalized_percentile