論文の概要: Utilizing Large Language Models to Translate RFC Protocol Specifications
to CPSA Definitions
- arxiv url: http://arxiv.org/abs/2402.00890v1
- Date: Tue, 30 Jan 2024 16:50:14 GMT
- ステータス: 処理完了
- システム内更新日: 2024-02-11 17:29:25.752401
- Title: Utilizing Large Language Models to Translate RFC Protocol Specifications
to CPSA Definitions
- Title(参考訳): RFCプロトコル仕様をCPSA定義に変換するための大規模言語モデルの利用
- Authors: Martin Duclos, Ivan A. Fernandez, Kaneesha Moore, Sudip Mittal, Edward
Zieglar
- Abstract要約: 本稿では,Large Language Models (LLM) を用いて RFC (Request for Comments) プロトコル仕様を,CPSA (Cryptographic Protocol Shapes Analyzer) と互換性のあるフォーマットに変換することを提案する。
本手法は,プロトコル仕様をCPSAに適した構造化モデルに自動変換する手法を提供することにより,プロトコル解析に関わる複雑さと労力を削減することを目的としている。
- 参考スコア(独自算出の注目度): 2.038893829552158
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: 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.
- Abstract(参考訳): 本稿では,Large Language Models (LLMs) を用いて,RFCプロトコル仕様をCryptographic Protocol Shapes Analyzer (CPSA) と互換性のあるフォーマットに変換することを提案する。
本手法は,プロトコル仕様をCPSAに適した構造化モデルに変換する自動手法を提供することにより,プロトコル解析に関わる複雑さと労力を削減することを目的とする。
本稿では,RFCプロトコルトランスレータの実装,形式的手法解析のアクセシビリティ向上への影響,インターネットプロトコルのセキュリティ向上の可能性について論じる。
関連論文リスト
- Towards Auto-Modeling of Formal Verification for NextG Protocols: A
Multimodal cross- and self-attention Large Language Model Approach [3.9155346446573502]
本稿では,5GおよびNextGプロトコル(AVRE)のための実世界プロンプトを用いた形式検証の自動モデリングを提案する。
AVREは次世代通信プロトコル(NextG)の正式な検証のために設計された新しいシステムである。
論文 参考訳(メタデータ) (2023-12-28T20:41:24Z) - Towards Semantic Communication Protocols for 6G: From Protocol Learning
to Language-Oriented Approaches [60.6632432485476]
6Gシステムは、幅広い非定常タスクに対処することが期待されている。これは、静的で事前定義された従来のメディアアクセス制御(MAC)プロトコルに課題をもたらす。
データ駆動MACプロトコルが最近登場し、特定のタスクのためにシグナリングメッセージをカスタマイズする機能を提供する。
本稿では、これらのデータ駆動MACプロトコルを、3つのレベルに分類する:レベル1 MAC。レベル2 MAC。レベル2 MAC。レベル1 MAC出力を明示的なシンボルに変換することによって開発されたニューラルネットワーク指向のシンボルプロトコル、レベル3 MAC。
論文 参考訳(メタデータ) (2023-10-14T06:28:50Z) - From Ambiguity to Explicitness: NLP-Assisted 5G Specification
Abstraction for Formal Analysis [5.526122280732959]
我々はNLPツールを用いてデータを構築し、構築されたデータを用いて識別子と形式的特性を抽出する2段階パイプラインを提案する。
最適モデルの結果は,抽出精度が39%,形式的特性の同定精度が42%に達している。
論文 参考訳(メタデータ) (2023-08-07T03:37:31Z) - PIP: Parse-Instructed Prefix for Syntactically Controlled Paraphrase
Generation [61.05254852400895]
Parse-Instructed Prefix (PIP) は、大規模な事前学習言語モデルをチューニングするためのプレフィックスチューニングの新しい適応である。
このタスクの従来の微調整手法とは対照的に、PIPは学習可能なパラメータの10倍少ない計算効率の代替手段である。
論文 参考訳(メタデータ) (2023-05-26T07:42:38Z) - A Security Verification Framework of Cryptographic Protocols Using
Machine Learning [0.0]
機械学習を用いた暗号プロトコルのセキュリティ検証フレームワークを提案する。
ランダムなプロトコルを自動的に生成し、セキュリティラベルを割り当てることで、任意に大規模なデータセットを作成する。
提案手法を実用的な暗号プロトコルの検証に適用して評価する。
論文 参考訳(メタデータ) (2023-04-26T02:37:43Z) - Towards Semantic Communication Protocols: A Probabilistic Logic
Perspective [69.68769942563812]
我々は,NPMを確率論理型言語ProbLogで記述された解釈可能なシンボルグラフに変換することによって構築された意味プロトコルモデル(SPM)を提案する。
その解釈性とメモリ効率を利用して、衝突回避のためのSPM再構成などのいくつかの応用を実演する。
論文 参考訳(メタデータ) (2022-07-08T14:19:36Z) - Byzantine-Robust Federated Learning with Optimal Statistical Rates and
Privacy Guarantees [123.0401978870009]
ほぼ最適な統計率を持つビザンチン・ロバスト・フェデレーション学習プロトコルを提案する。
競合プロトコルに対してベンチマークを行い、提案プロトコルの実証的な優位性を示す。
我々のバケットプロトコルは、プライバシー保証手順と自然に組み合わせて、半正直なサーバに対するセキュリティを導入することができる。
論文 参考訳(メタデータ) (2022-05-24T04:03:07Z) - Data post-processing for the one-way heterodyne protocol under
composable finite-size security [62.997667081978825]
本研究では,実用的連続可変(CV)量子鍵分布プロトコルの性能について検討する。
ヘテロダイン検出を用いたガウス変調コヒーレント状態プロトコルを高信号対雑音比で検討する。
これにより、プロトコルの実践的な実装の性能を調べ、上記のステップに関連付けられたパラメータを最適化することができる。
論文 参考訳(メタデータ) (2022-05-20T12:37:09Z) - Automated Attack Synthesis by Extracting Finite State Machines from
Protocol Specification Documents [25.871916915930996]
RFC文書から有限状態マシン(FSM)を抽出するためのデータ駆動型アプローチを提案する。
市販のNLPツールとは異なり、RFC文書からFSMを抽出するためのデータ駆動型アプローチを提案する。
BGPv4, DCCP, RFCを用いたFSM抽出の一般化可能性を示す。
SCTPとTCP。
論文 参考訳(メタデータ) (2022-02-18T23:27:29Z) - Counterfactual Interventions Reveal the Causal Effect of Relative Clause
Representations on Agreement Prediction [61.4913233397155]
BERTが言語戦略を用いて合意予測中にRCスパンに関する情報を使用することを示す。
また,特定のRCサブタイプに対して生成された反事実表現が,他のRCサブタイプを含む文の数値予測に影響を及ぼし,RC境界に関する情報がBERTの表現に抽象的に符号化されたことを示唆した。
論文 参考訳(メタデータ) (2021-05-14T17:11:55Z) - MAC Protocol Design Optimization Using Deep Learning [1.5469452301122173]
本稿では,ネットワークプロトコルを体系的に設計し,評価するためのDRLベースの新しいフレームワークを提案する。
他のMLベースのメソッドは主に個々のプロトコルパラメータをチューニングすることに焦点を当てていますが、主な貢献はプロトコルをパラメトリックモジュールのセットに分離することです。
本稿では,一般的な802.11のフレーバーにまたがるブロックの集合にMACプロトコルを分離するフレームワークであるDeepMACを紹介し,評価する。
論文 参考訳(メタデータ) (2020-02-06T02:36:52Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。