論文の概要: Inferring State Machine from the Protocol Implementation via Large Language Model
- arxiv url: http://arxiv.org/abs/2405.00393v2
- Date: Fri, 14 Jun 2024 12:03:56 GMT
- ステータス: 処理完了
- システム内更新日: 2024-06-17 18:42:49.652801
- Title: Inferring State Machine from the Protocol Implementation via Large Language Model
- Title（参考訳）: 大規模言語モデルによるプロトコル実装からの状態マシンの推論
- Authors: Haiyang Wei, Zhengjie Du, Haohui Huang, Yue Liu, Guang Cheng, Linzhang Wang, Bing Mao,
- Abstract要約: 大規模言語モデル(LLM)を利用した革新的状態マシン推論手法を提案する。
提案手法の有効性を6つのプロトコル実装で評価した結果,精度90%を超える精度が得られた。
提案手法は, 精度の高い状態マシン推論において重要な一歩を踏み出すだけでなく, プロトコル実装のセキュリティと信頼性向上のための新たな道を開く。
- 参考スコア（独自算出の注目度）: 18.942047454890847
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: State machines play a pivotal role in augmenting the efficacy of protocol analyzing to unveil more vulnerabilities. However, the task of inferring state machines from network protocol implementations presents significant challenges. Traditional methods based on dynamic analysis often overlook crucial state transitions due to limited coverage, while static analysis faces difficulties with complex code structures and behaviors. To address these limitations, we propose an innovative state machine inference approach powered by Large Language Models (LLMs). Utilizing text-embedding technology, this method allows LLMs to dissect and analyze the intricacies of protocol implementation code. Through targeted prompt engineering, we systematically identify and infer the underlying state machines. Our evaluation across six protocol implementations demonstrates the method's high efficacy, achieving an accuracy rate exceeding 90% and successfully delineating differences on state machines among various implementations of the same protocol. Importantly, integrating this approach with protocol fuzzing has notably enhanced AFLNet's code coverage by 10% over RFCNLP, showcasing the considerable potential of LLMs in advancing network protocol security analysis. Our proposed method not only marks a significant step forward in accurate state machine inference but also opens new avenues for improving the security and reliability of protocol implementations.
- Abstract（参考訳）: ステートマシンは、より多くの脆弱性を公開するためのプロトコル分析の有効性を高める上で、重要な役割を果たす。
しかし、ネットワークプロトコルの実装からステートマシンを推論する作業は、大きな課題を呈している。
静的解析は複雑なコード構造や振る舞いで困難に直面しているのに対して、動的解析に基づく従来の手法は、カバー範囲が限られているため重要な状態遷移を見落としていることが多い。
これらの制約に対処するため,Large Language Models (LLMs) を利用した革新的な状態マシン推論手法を提案する。
テキスト埋め込み技術を利用することで、LLMはプロトコル実装コードの複雑さを識別し分析することができる。
ターゲットとなるプロンプトエンジニアリングを通じて、基礎となる状態マシンを体系的に同定し、推測する。
提案手法は,6つのプロトコル実装に対して高い有効性を示し,90%を超える精度を実現し,同一プロトコルの各種実装間の状態マシンの差異を導出することに成功した。
重要なことに、このアプローチをプロトコルファジィングと統合することで、AFLNetのコードカバレッジをRFCNLPよりも10%向上させ、ネットワークプロトコルのセキュリティ分析の進歩におけるLLMの潜在可能性を示している。
提案手法は, 精度の高い状態マシン推論において重要な一歩を踏み出すだけでなく, プロトコル実装のセキュリティと信頼性向上のための新たな道を開く。
関連論文リスト
- Automatic State Machine Inference for Binary Protocol Reverse Engineering [20.35198277628804]
未知プロトコルのための自動PSM推論フレームワークを提案する。
プロトコル状態とそれらの状態間の遷移条件を推論する確率的PSMアルゴリズムを改良する。
実験の結果,既存の Pre 手法と比較して,提案手法はプロトコルのより正確な分類を可能にしつつ PSM を推論できることがわかった。
論文 参考訳（メタデータ） (2024-12-03T16:33:17Z) - Games for AI Control: Models of Safety Evaluations of AI Deployment Protocols [52.40622903199512]
本稿では,多目的かつ部分的に観察可能なゲームとして,AI-Control Gamesを紹介した。
我々は、信頼できない言語モデルをプログラミングアシスタントとしてデプロイするためのプロトコルをモデル化、評価、合成するために、フォーマリズムを適用した。
論文 参考訳（メタデータ） (2024-09-12T12:30:07Z) - A Novel Stabilizer-based Entanglement Distillation Protocol for Qudits [0.016385815610837167]
エンタングルメント蒸留は、エラー発生環境における堅牢な量子情報処理に重要である。
安定化器符号に基づく構築は、そのようなプロトコルを設計するための効果的な方法を提供する。
本稿では,任意の素次元のベル対角線状態に対する繰り返し毎の忠実度増加を最大化する新しい2コピー蒸留プロトコルを提案する。
論文 参考訳（メタデータ） (2024-08-05T11:14:28Z) - A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。
本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。
実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
論文 参考訳（メタデータ） (2024-01-19T14:52:04Z) - 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) - Bicoptor 2.0: Addressing Challenges in Probabilistic Truncation for Enhanced Privacy-Preserving Machine Learning [6.733212399517445]
本稿では,既存のPPML作業における確率的トランケーションプロトコルの問題の解析と解決策の提案に焦点をあてる。
精度の面では、既存の作品のいくつかで推奨される精度の選択が誤りであることを明らかにする。
本稿では,今後の課題に対する解法と精度選択ガイドラインを提案する。
論文 参考訳（メタデータ） (2023-09-10T01:43:40Z) - Practical quantum secure direct communication with squeezed states [55.41644538483948]
CV-QSDCシステムの最初の実験実験を行い,その安全性について報告する。
この実現は、将来的な脅威のない量子大都市圏ネットワークへの道を歩み、既存の高度な波長分割多重化(WDM)システムと互換性がある。
論文 参考訳（メタデータ） (2023-06-25T19:23:42Z) - Extracting Protocol Format as State Machine via Controlled Static Loop Analysis [14.201174164060994]
この研究は、制約付き正規表現によって記述され、有限状態マシンを用いて解析されるプロトコルのクラスに焦点を当てる。
本手法では,各ループを状態として,ループ間の依存性を状態遷移として,状態マシンを抽出する。
評価結果は、状態マシンを推測し、90%以上の精度とリコールでメッセージフォーマットを5分以内で推測できることを示している。
論文 参考訳（メタデータ） (2023-05-22T20:58:06Z) - Data post-processing for the one-way heterodyne protocol under
composable finite-size security [62.997667081978825]
本研究では,実用的連続可変(CV)量子鍵分布プロトコルの性能について検討する。
ヘテロダイン検出を用いたガウス変調コヒーレント状態プロトコルを高信号対雑音比で検討する。
これにより、プロトコルの実践的な実装の性能を調べ、上記のステップに関連付けられたパラメータを最適化することができる。
論文 参考訳（メタデータ） (2022-05-20T12:37:09Z) - Reinforcement learning-enhanced protocols for coherent
population-transfer in three-level quantum systems [50.591267188664666]
我々は、人口移動のための最適なプロトコルを特定するために、強化学習に基づくアプローチとより伝統的な最適化手法を組み合わせて展開する。
提案手法は,効率的なプロトコルの存在を明らかにするための制御プロトコルの空間を探索することができる。
私たちが特定する新しいプロトコルは、エネルギー損失と軽視の両方に対して堅牢です。
論文 参考訳（メタデータ） (2021-09-02T14:17:30Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。