Fugu-MT 論文翻訳(概要): Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions

論文の概要: 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プロトコルトランスレータの実装,形式的手法解析のアクセシビリティ向上への影響,インターネットプロトコルのセキュリティ向上の可能性について論じる。

関連論文リスト

Games for AI Control: Models of Safety Evaluations of AI Deployment Protocols [52.40622903199512]
本稿では,多目的かつ部分的に観察可能なゲームとして,AI-Control Gamesを紹介した。我々は、信頼できない言語モデルをプログラミングアシスタントとしてデプロイするためのプロトコルをモデル化、評価、合成するために、フォーマリズムを適用した。
論文参考訳（メタデータ） (2024-09-12T12:30:07Z)
Inferring State Machine from the Protocol Implementation via Large Language Model [18.942047454890847]
大規模言語モデル(LLM)を利用した革新的状態マシン推論手法を提案する。提案手法の有効性を6つのプロトコル実装で評価した結果,精度90%を超える精度が得られた。提案手法は, 精度の高い状態マシン推論において重要な一歩を踏み出すだけでなく, プロトコル実装のセキュリティと信頼性向上のための新たな道を開く。
論文参考訳（メタデータ） (2024-05-01T08:46:36Z)
A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
論文参考訳（メタデータ） (2024-01-19T14:52:04Z)
Ejafa_protocol: A custom INC secure protocol [0.0]
このプロトコルには、鍵交換用のX25519や暗号化用のChaCha20など、現代の暗号プリミティブが含まれている。プロトコルの重要な特徴は、セキュリティを犠牲にすることなく、リソース制限された環境への適応性である。
論文参考訳（メタデータ） (2024-01-05T12:51:19Z)
PIP: Parse-Instructed Prefix for Syntactically Controlled Paraphrase Generation [61.05254852400895]
Parse-Instructed Prefix (PIP) は、大規模な事前学習言語モデルをチューニングするためのプレフィックスチューニングの新しい適応である。このタスクの従来の微調整手法とは対照的に、PIPは学習可能なパラメータの10倍少ない計算効率の代替手段である。
論文参考訳（メタデータ） (2023-05-26T07:42:38Z)
OLYMPIA: A Simulation Framework for Evaluating the Concrete Scalability of Secure Aggregation Protocols [1.8069913326395433]
シミュレーションによるセキュアプロトコルの実証評価のためのフレームワークであるOLYMPIAを提案する。 OLYMPIAはプロトコルを定義するための組み込みドメイン固有言語と、パフォーマンスを評価するためのシミュレーションフレームワークを提供する。
論文参考訳（メタデータ） (2023-02-20T16:46:46Z)
Towards Semantic Communication Protocols: A Probabilistic Logic Perspective [69.68769942563812]
我々は,NPMを確率論理型言語ProbLogで記述された解釈可能なシンボルグラフに変換することによって構築された意味プロトコルモデル(SPM)を提案する。その解釈性とメモリ効率を利用して、衝突回避のためのSPM再構成などのいくつかの応用を実演する。
論文参考訳（メタデータ） (2022-07-08T14:19:36Z)
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)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。