論文の概要: Global Surveillance Under the Lens: Reconstructing Passive Dolev-Yao Intruders
- arxiv url: http://arxiv.org/abs/2611.07170v1
- Date: Wed, 04 Nov 2026 21:53:08 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-11-06 21:50:50.45919
- Title: Global Surveillance Under the Lens: Reconstructing Passive Dolev-Yao Intruders
- Title（参考訳）: レンズの下のグローバルサーベイランス:パッシブなドレフ・ヤオ・イントルーダーの再構築
- Abstract要約: 本稿では,受信したネットワークトラフィックから受動型Dolev-Yaoインストラクタの実行を再構築する,自動仕様誘導手法を提案する。
フレームワークはPCAPキャプチャ、AnBx仕様、および関連するデプロイメントメタデータを取得する。
TCPストリームからJavaリードのオブジェクトを抽出し、プロトコルセッションとチャンネル間割り当てを再構築し、受動的侵入者を生成する。
- 参考スコア（独自算出の注目度）: 1.5229257192293202
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: Global surveillance systems record large volumes of network traffic for retrospective analysis, but packet captures alone reveal little about protocol-level semantics. This paper presents an automated, specification-guided methodology for reconstructing passive Dolev-Yao intruder executions from captured network traffic and validating the reconstructed executions against a formal protocol specification. The framework takes a PCAP capture, an AnBx specification, and the associated deployment metadata; it extracts Java-serialised objects from TCP streams, reconstructs protocol sessions and channel-to-step assignments, and generates a passive intruder that evaluates the Dolev-Yao derived checks produced by the AnBx compiler. Three reconstruction challenges are addressed: multiple serialised objects and object references within a TCP stream, ambiguity in mapping interleaved connections to concurrent protocol sessions, and semantic validation of candidate reconstructions. We evaluate the methodology on 121 protocols from the AnBx test suite. For single-session captures, the standard JDK cryptographic provider recovers 97.8% of expected objects and achieves 94.2% successful reconstruction, where success requires complete object recovery and a clean passive-intruder execution. For the 112 parallel-capable protocols, the toolchain achieves 89.3% successful reconstruction for both two and three concurrent sessions, while recovering approximately 97.2% of expected objects. Experiments with mismatched protocol-role mappings and deliberately mutated traces show that the generated Dolev-Yao checks respond to semantic inconsistencies. By making the reconstruction step explicit, the solution produces protocol-level observations on which assessments of protocol resilience and the design of defensive countermeasures can be built.
- Abstract（参考訳）: グローバルな監視システムは、振り返り分析のために大量のネットワークトラフィックを記録するが、パケットキャプチャだけでプロトコルレベルのセマンティクスについてはほとんど明らかにしない。
本稿では,受信したネットワークトラフィックから受動型Dolev-Yaoインストラクタの実行を再構築し,形式的なプロトコル仕様に対して再構成された実行を検証するための,自動仕様誘導手法を提案する。
このフレームワークは、PCAPキャプチャ、AnBx仕様、および関連するデプロイメントメタデータを取り、TCPストリームからJavaシリアライズされたオブジェクトを抽出し、プロトコルセッションとチャンネル間割り当てを再構築し、AnBxコンパイラによって生成されたDolev-Yao派生チェックを評価するパッシブ・イントルーダを生成する。
TCPストリーム内の複数のシリアライズされたオブジェクトとオブジェクト参照、インターリーブされたコネクションを同時プロトコルセッションにマッピングするあいまいさ、および候補再構成のセマンティック検証である。
テストスイートAnBxから121プロトコルの方法論を評価する。
シングルセッションキャプチャでは、標準のJDK暗号化プロバイダが97.8%の期待されたオブジェクトをリカバリし、94.2%のリカバリを実現している。
112の並列処理可能なプロトコルでは、ツールチェーンは2つの同時セッションと3つの同時セッションの両方で89.3%成功し、約97.2%のオブジェクトを回復する。
ミスマッチしたプロトコル・ロールマッピングと意図的に変更されたトレースによる実験は、生成されたDolev-Yaoチェックが意味的不整合に応答することを示している。
再構成ステップを明確にすることで、プロトコルのレジリエンスの評価と防御対策の設計を構築できるプロトコルレベルの観察を行うことができる。
関連論文リスト
- EviCast: Forecasting Retrieval Gains Through Shared Response Calibration [81.48214908232247]
介入エビデンス-状態分解による検索値を予測するフレームワークであるEviCastを紹介する。
EviCastは、制御されたエビデンス状態に対するジェネレータの応答を測定し、この共有プロファイルと各候補レトリバーのオフラインエビデンス状態分布を組み合わせる。
状態制限解析は、そのバイナリおよびトポロジ対応のインスタンス化が正確で、共有キャリブレーションがレトリバーごとのキャリブレーションよりも統計的に効率的である場合に特徴付けられる。
論文 参考訳（メタデータ） (2026-11-02T01:55:58Z) - ProtAgent: Post-Training Compact Protein Tool Agents with Interaction-Level Credit Assignment [59.85337246242935]
タンパク質アノテーション剤は、適切なバイオインフォマティクスツールを選択し、それらのアウトプットを解釈し、最終的な答えで結果のエビデンスを使用する必要がある。
本稿では,教師付き微調整を用いた2段階パイプラインであるProtAgentについて紹介する。
論文 参考訳（メタデータ） (2026-10-24T15:42:13Z) - TraceDance: An Automated System for Building Agent Behavior Benchmarks from Real-World Agent Deployment Traces [49.561879967469714]
TraceDanceは、ユーザが指定した望ましくない振る舞いのデプロイメントトレースからターゲットベンチマークを構築するエージェントシステムである。
効率的な構築のために、Anchor-and-Confirmはプログラム可能な検索と、Flash大言語モデルによる候補レベルの確認を組み合わせる。
コーディングと一般的なツールの実験では、252,557のセッションで描画され、ビルドターゲット要求の95.3%を満たす4,125のインスタンスで107のベンチマークを生成する。
論文 参考訳（メタデータ） (2026-09-27T06:58:39Z) - PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution [49.776611937968]
我々は、スケジューリング、検証、メモリ、ベンチマーク、安全性をシステムレベルのサービスとして提供するPhyAgentOSを紹介します。
セッション中心のセッションは、スケジューリング、互換性、監督された実行、エビデンス収集、受け入れの最小単位として、アクションではなくセッションを扱う。
SessionVerifierは、実行終了とセマンティックタスク完了を、成功、失敗、または再計画のエビデンスに基づいて判断する。
ベンチマークはデプロイメントセッションと検証パスを再利用するので、結果は実際の実行に遡る。
論文 参考訳（メタデータ） (2026-07-18T04:46:53Z) - A Technical Taxonomy of LLM Agent Communication Protocols [60.76747983053368]
本研究では,大規模言語モデル(LLM)エージェント通信プロトコルの分類と解析を行う技術的分類法を開発する。
このフレームワークはプロトコルの選択をガイドし、プライバシーやポリシー執行といったオープンな研究ギャップを強調する。
論文 参考訳（メタデータ） (2026-06-17T14:45:20Z) - IMPACT-HOI: Supervisory Control for Onset-Anchored Partial HOI Event Construction [72.51952455865155]
我々は,エゴセントリックなプロシージャビデオに注釈を付けるための混合開始型フレームワークIMPACT-HOIを提案する。
IMPACT-HOIは、このタスクを部分的に指定され、オンセットされたイベント状態の漸進的な解決として捉えている。
9人の参加者によるユーザスタディでは、手動のアノテーションアクションが13.5%減少し、46.67%のイベントマッチレート、確認されたフィールド違反がゼロである。
論文 参考訳（メタデータ） (2026-05-03T01:37:40Z) - Towards Verifiable AI with Lightweight Cryptographic Proofs of Inference [3.3323431541048385]
完全証明を軽量なサンプリングベースアプローチで置き換える検証フレームワークとプロトコルを提案する。
我々は,機能的に異なるモデル間のトレース分離を活用可能な条件を定式化し,検証可能な推論プロトコルの安全性について議論する。
我々の手法は、最先端の暗号証明システムと比較して、証明時間を桁違いに削減する。
論文 参考訳（メタデータ） (2026-03-19T15:24:27Z) - Recursive language models for jailbreak detection: a procedural defense for tool-augmented agents [0.0]
Recursive Language Models (RLM) に基づくエンドツーエンドのジェイルブレイク検出フレームワーク RLM-JB を提案する。
RLM-JBは、検出をワンショット分類ではなく手順として扱う。
AutoDANスタイルの逆入力では、RLM-JBは3つのLLMバックエンド間で高い検出効率を実現する。
論文 参考訳（メタデータ） (2026-02-18T15:07:09Z) - Model Context Protocol for Vision Systems: Audit, Security, and Protocol Extensions [0.4779196219827507]
Model Context Protocol (MCP) は、エージェントとツールのインタラクションのためのスキーマ境界実行モデルを定義する。
これは、ビジョンシステムにおけるMPPのデプロイメントスケール監査である、最初のプロトコルレベルである。
我々は,9次元の合成忠実度にアノテートされた91個の視覚中心型MPPサーバを解析した。
論文 参考訳（メタデータ） (2025-09-26T18:20:08Z) - LLM-Assisted Model-Based Fuzzing of Protocol Implementations [9.512044399020514]
プロトコル動作の障害は脆弱性やシステム障害につながる可能性がある。
プロトコルテストに対する一般的なアプローチは、プロトコルの状態遷移と期待される振る舞いをキャプチャするマルコフモデルを構築することである。
本稿では,大規模言語モデル(LLM)を利用して,ネットワークプロトコルの実装をテストするためのシーケンスを自動的に生成する手法を提案する。
論文 参考訳（メタデータ） (2025-08-03T13:16:18Z) - Enhancing Exfiltration Path Analysis Using Reinforcement Learning [7.112500486473225]
この作業は、プロトコルとペイロードを考慮した方法論を拡張します。
生成されたパスは、通信ペイロードとプロトコルをMarkov決定プロセスに含めることで強化される。
論文 参考訳（メタデータ） (2023-10-05T16:43:12Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。