論文の概要: Stateful protocol fuzzing with statemap-based reverse state selection
- arxiv url: http://arxiv.org/abs/2408.06844v1
- Date: Tue, 13 Aug 2024 12:11:41 GMT
- ステータス: 処理完了
- システム内更新日: 2024-08-14 17:36:36.929496
- Title: Stateful protocol fuzzing with statemap-based reverse state selection
- Title（参考訳）: 状態マップに基づく逆状態選択によるステートフルプロトコルファジリング
- Authors: Liu Yu, Shen Yanlong, Zhou Ying,
- Abstract要約: Stateful Coverage-Based Greybox Fuzzing (SCGF) はネットワークプロトコルのグレーボックスファジングの最先端手法であると考えられている。
本稿では,SCGFのための状態マップに基づく逆状態選択法を提案する。
- 参考スコア（独自算出の注目度）: 3.7687375904925484
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Stateful Coverage-Based Greybox Fuzzing (SCGF) is considered the state-of-the-art method for network protocol greybox fuzzing. During the protocol fuzzing process, SCGF constructs the state machine of the target protocol by identifying protocol states. Optimal states are selected for fuzzing using heuristic methods, along with corresponding seeds and mutation regions, to effectively conduct fuzz testing. Nevertheless, existing SCGF methodologies prioritise the selection of protocol states without considering the correspondence between program basic block coverage information and protocol states. To address this gap, this paper proposes a statemap-based reverse state selection method for SCGF. This approach prioritises the coverage information of fuzzy test seeds, and delves deeper into the correspondence between the basic block coverage information of the programme and the protocol state, with the objective of improving the bitmap coverage. The state map is employed to simplify the state machine representation method. Furthermore, the design of different types of states has enabled the optimisation of the method of constructing message sequences, the reduction in the length of message sequences further improve the efficiency of test case execution. By optimising the SCGF, we developed SMGFuzz and conducted experiments utilising Profuzzbench in order to assess the testing efficiency of SMGFuzz.The results indicate that compared to AFLNet, SMGFuzz achieved an average increase of 12.48% in edges coverage, a 50.1% increase in unique crashes and a 40.2% increase in test case execution speed over a period of 24 hours.
- Abstract（参考訳）: Stateful Coverage-Based Greybox Fuzzing (SCGF) はネットワークプロトコルのグレーボックスファジングの最先端手法であると考えられている。
プロトコルファジィングプロセスの間、SCGFはプロトコル状態を特定してターゲットプロトコルの状態マシンを構築する。
ヒューリスティック法と対応する種子および突然変異領域を用いて、ファズ試験を効果的に行うために最適な状態を選択する。
それにもかかわらず、既存のSCGF手法は、プログラムの基本ブロックカバレッジ情報とプロトコル状態との対応を考慮せずに、プロトコル状態の選択を優先している。
このギャップに対処するために、SCGFの状態マップに基づく逆状態選択法を提案する。
本手法は、ファジィテストシードのカバレッジ情報を優先し、ビットマップカバレッジを改善することを目的として、プログラムの基本ブロックカバレッジ情報とプロトコル状態との対応を深く掘り下げる。
ステートマップはステートマシン表現法を単純化するために使用される。
さらに、異なるタイプの状態の設計により、メッセージシーケンスの構築方法の最適化が可能となり、メッセージシーケンスの長さの削減により、テストケースの実行効率が向上した。
SCGFの最適化により,SMGFuzzの開発を行い,SMGFuzzの試験効率を評価するためにProfuzzbenchを用いた実験を行った。その結果,AFLNetと比較して,SMGFuzzはエッジカバレッジの平均12.48%,ユニーククラッシュ50.1%,テストケース実行速度40.2%を24時間で達成した。
関連論文リスト
- Inferring State Machine from the Protocol Implementation via Large Language Model [18.942047454890847]
大規模言語モデル(LLM)を利用した革新的状態マシン推論手法を提案する。
提案手法の有効性を6つのプロトコル実装で評価した結果,精度90%を超える精度が得られた。
提案手法は, 精度の高い状態マシン推論において重要な一歩を踏み出すだけでなく, プロトコル実装のセキュリティと信頼性向上のための新たな道を開く。
論文 参考訳（メタデータ） (2024-05-01T08:46:36Z) - Statistical evaluation and optimization of entanglement purification protocols [0.0]
提案手法は, ほぼ均一にサンプリングされた密度行列から推定される初期平均コンカレンスを改善できないことを示す。
また、より効率的なプロトコルを開発し、より効率的な2ドルプロジェクタに基づく最近の提案とともに数値的に検討する。
論文 参考訳（メタデータ） (2024-02-19T16:58:03Z) - General Cutting Planes for Bound-Propagation-Based Neural Network
Verification [144.7290035694459]
任意の切削平面制約を加えることができるような境界伝搬手順を一般化する。
MIPソルバは、境界プロパゲーションベースの検証器を強化するために高品質な切削面を生成することができる。
本手法は,oval20ベンチマークを完全解き,oval21ベンチマークの2倍のインスタンスを検証できる最初の検証器である。
論文 参考訳（メタデータ） (2022-08-11T10:31:28Z) - 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) - Performance analysis of continuous-variable quantum key distribution
using non-Gaussian states [0.0]
本研究では,連続変数非ガウス状態の離散変調によるプロトコルの効率解析を行う。
我々は、Eveの情報をプロトコルに基づいてバウンドできるという事実を用いて、集団攻撃に対するセキュアな鍵生成率を算出する。
論文 参考訳（メタデータ） (2021-12-19T11:55:17Z) - Quantum anonymous veto: A set of new protocols [0.41998444721319217]
本稿では,異なる種類の量子リソースに基づく量子匿名拒否(QAV)プロトコルを提案する。
提案手法は有効なQAV方式のすべての要求に対して解析される。
確率的QAVスキームの正しさと頑健さのトレードオフが観察された。
論文 参考訳（メタデータ） (2021-09-13T18:56:09Z) - Quantum key distribution based on orthogonal state encoding [0.0]
2つの量子鍵分布プロトコルが提示される。
順序-並べ替えのテクニックを使う必要はないが、他方は必要である。
テスト状態法を適用し,ノイズの多いチャネルで実装するためのプロトコルを改良する。
論文 参考訳（メタデータ） (2021-07-05T12:14:05Z) - Round-robin differential phase-time-shifting protocol for quantum key
distribution: theory and experiment [58.03659958248968]
量子鍵分布(QKD)は、遠隔者間で共通の暗号鍵の確立を可能にする。
近年,信号の乱れの監視を回避できるQKDプロトコルが提案され,初期の実験で実証されている。
我々は,ラウンドロビン差動位相シフトプロトコルのセキュリティ証明を,集団攻撃シナリオにおいて導出する。
その結果,RRDPTSプロトコルは高い量子ビット誤り率の条件下で,RDPSと比較して高い秘密鍵レートが得られることがわかった。
論文 参考訳（メタデータ） (2021-03-15T15:20:09Z) - Selective Classification via One-Sided Prediction [54.05407231648068]
片側予測(OSP)に基づく緩和は、実際に関係する高目標精度体制において、ほぼ最適カバレッジが得られるSCスキームをもたらす。
理論的には,SCとOSPのバウンダリ一般化を導出し,その手法が小さな誤差レベルでのカバレッジにおいて,技術手法の状態を強く上回ることを示す。
論文 参考訳（メタデータ） (2020-10-15T16:14:27Z) - Adaptive Sampling for Best Policy Identification in Markov Decision
Processes [79.4957965474334]
本稿では,学習者が生成モデルにアクセスできる場合の,割引マルコフ決定(MDP)における最良の政治的識別の問題について検討する。
最先端アルゴリズムの利点を論じ、解説する。
論文 参考訳（メタデータ） (2020-09-28T15:22:24Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。