論文の概要: Mission-Aware Attestation Envelopes for Time-Critical Autonomous Action: A Hardware-in-the-Loop V2I Study

• arxiv url: http://arxiv.org/abs/2610.08771v1
• Date: Tue, 06 Oct 2026 17:55:18 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-08 02:58:30.160278
• Title: Mission-Aware Attestation Envelopes for Time-Critical Autonomous Action: A Hardware-in-the-Loop V2I Study
• Title（参考訳）: タイムクリティカルな自律行動のためのミッション・アウェア・テスト--ハードウェア・イン・ザ・ループV2Iによる研究
• Abstract要約: 整合性が有効で、証拠が十分に新鮮で、決定が予算内で完了した場合のみ、ランタイム保証契約を定式化します。 ハードウェア・イン・ザ・ループ・カー・トゥ・インフラクチャ・プラットフォーム上で評価を行った。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: An autonomous system that asks for a privileged physical action is usually gated on integrity evidence: a platform proves what it is running, and the request is granted or refused on that basis. Such a gate is normally treated as a predicate, yet the evidence behind it has an age, the decision that consumes it has a latency, and the physical system that waits for it has a deadline. We formulate mission-aware attestation as a runtime assurance contract that holds only when integrity is valid, the evidence is fresh enough, and the decision completes inside a budget derived from the current physical state. The contract yields four operational outcomes where a binary gate yields two, separating a refusal caused by tampering from one caused by stale evidence and from one caused by a late decision. We evaluate it on a hardware-in-the-loop vehicle-to-infrastructure platform: a driving simulator supplies the physical state and the authorisation deadline, while a microcontroller on-board unit and a TPM-backed roadside unit running Linux integrity measurement supply the assurance evidence. A security-blind model admits the whole operating space and a hardware-informed one three quarters of it, and every point it refuses fails the freshness margin rather than the response margin. Moving the attestation interval across the range the verifier permits costs about as much as a fivefold scaling of the latency distribution, and the interval is directly configurable, which makes it the immediately actionable deployment parameter. If the freshness bound does not exceed the authorisation budget, every late decision is also stale and lateness becomes unobservable, so the attestation interval and the freshness bound cannot be chosen from security requirements alone.
• Abstract（参考訳）: 特権的な身体的行動を求める自律システムは、通常、公正な証拠に基づいて強制される: プラットフォームはそれが実行されていることを証明し、その要求は、そのベースで承認または拒否される。 このようなゲートは通常述語として扱われるが、その背景にある証拠には年齢、それを使用する決定には遅延があり、それを待つ物理系には期限がある。 我々は,ミッション・アウェアの証明を,完全性が確認された場合にのみ保持する実行保証契約として定式化し,証拠は十分に新鮮であり,決定は現在の物理的状態から派生した予算内で完了する。 契約は、バイナリゲートが2つを出力し、古い証拠による1つと遅延決定による1つとの改ざんによる拒絶とを分離する4つの運用結果を得る。 運転シミュレータが物理状態と認可期限を供給し、マイクロコントローラのオンボードユニットとTPMが支援する道路サイドユニットが保証証拠を提供する。 セキュリティブラインドモデルは、全体の運用スペースとハードウェアインフォームされた1/4を許容し、応答マージンよりもフレッシュネスマージンに失敗する。 検証期間を範囲を越えて移動させることで、検証者はレイテンシ分布の5倍のスケーリングを許容し、インターバルは直接設定可能であり、即時実行可能なデプロイメントパラメータとなる。 更新期限が承認予算を超過しない場合、すべての遅延決定も不安定であり、遅延は観測不能となるため、認証期間と更新期限は、セキュリティ要件のみから選択することはできない。

関連論文リスト

• Verifying Graceful Degradation in a Distributed Malware-Detection System with SPIN [0.0]
  本稿では,現代のマルウェア検出システムのエンドポイント決定パイプラインの形式モデルであるPromelaについて述べる。 私たちは、フォールバックマシンが偽陽性を引き起こすことは決してなく、スキャン毎に正確に1つの評決にコミットし、常に強制的な決定で終了するということを証明しています。 この研究は、製品セキュリティシステムの障害処理ロジックに対して、モデルチェックが強い正当性を保証する方法を示している。
  論文  参考訳（メタデータ） (2026-09-28T10:56:10Z)
• Toward Practical Decentralized Proof-of-Location via Physical Witnessing Zones [2.0415910628419067]
  デジタルサービスは、人、デバイス、または資産が特定の時間に特定の場所にあるという主張にますます依存している。 PoLシステムは、存在の主張を独立した検証者が後に検査できる証拠にする。 本稿では、分散化PoLアーキテクチャに関する最近の理論的研究に基づく。
  論文  参考訳（メタデータ） (2026-08-05T15:27:42Z)
• 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)
• Stop Means Stop: Measuring and Repairing the Enforcement Gap in Agent-Framework Control Primitives [0.0]
  この契約は、広く使用されている6つのオープンソースフレームワークのどれにも当てはまらない。 モデルフリーディファレンシャルプローブは、繰り返し発生するシリングリークを分離する。 SoundGATEは環境外部のRustゲートであり、すべての副作用を認めなければならない。
  論文  参考訳（メタデータ） (2026-07-15T05:55:38Z)
• Conformal Recovery-Deadline Certificates for Runtime Assurance of Adapting Controllers [2.28438857884398]
  本稿では,高度制御器から安全制御器に切り替えることにより,安全クリティカルシステムを保護する方法について述べる。 適応制御器のリカバリ時間に基づいて, 分割整形, 分布自由, 有限サンプル上限である整形回復遅延証明書を導入する。 限界範囲のカバレッジ、既知のフォールト・ディストリビューションシフトの下でカバレッジを回復する重み付き拡張、およびグループ条件のモンドリアンカバレッジを証明します。
  論文  参考訳（メタデータ） (2026-06-24T04:02:06Z)
• Survive or Collapse: The Asymmetric Roles of Data Gating and Reward Grounding in Self-Play RL [76.45061154544568]
  セルフプレイ強化学習は、言語モデルを独自の生成タスクで訓練し、人間ラベルなしでプロジェクタとソルバを共進化させる。 最近のシステムでは強い推理効果が報告されているが、崩壊と不安定性は広く観察され、理解されていない。 代わりに、自己プレイの安定性は、提案者生成タスクがトレーニングプールに入るかを判断するデータレベルゲートと、すでに認められたタスクに関するポリシーを更新する報酬信号の2つの異なるレバーによって管理されていると論じる。
  論文  参考訳（メタデータ） (2026-05-21T09:19:23Z)
• IMPACT-CYCLE: A Contract-Based Multi-Agent System for Claim-Level Supervisory Correction of Long-Video Semantic Memory [73.22944697933603]
  既存のパイプラインは不透明でエンドツーエンドの出力を生成し、検査の中間状態は公開しない。 IMPACT-Cycleは,マルチモーダル反復クレームレベルのメンテナンスとして,長時間ビデオ理解を再構築するマルチエージェントシステムである。
  論文  参考訳（メタデータ） (2026-04-22T03:03:33Z)
• Automated Self-Testing as a Quality Gate: Evidence-Driven Release Management for LLM Applications [51.56484100374058]
  我々は,エビデンスに基づくリリース決定を伴う品質ゲートを導入する自動自己テストフレームワークを提案する。 内部展開型多エージェント対話型AIシステムの縦型ケーススタディにより,本フレームワークの評価を行った。
  論文  参考訳（メタデータ） (2026-03-13T20:44:15Z)
• A TEE-Based Architecture for Confidential and Dependable Process Attestation in Authorship Verification [0.0]
  我々は,Trusted Execution Environments(TEEs)における継続的プロセス検証エビデンス収集のための最初のアーキテクチャを提案する。 我々は,ソフトウェアチャネルの整合性(Tier1)からハードウェアバウンド入力(Tier3)までの段階的な入力保証を備えた,信頼反転敵に対するハードウェアベースタンパ抵抗を提供する。 我々は、TEEクラッシュ、ネットワークパーティション、エンクレーブマイグレーション間のチェーン整合性を維持するレジリエントエビデンスチェーンプロトコルを導入する。
  論文  参考訳（メタデータ） (2026-02-26T20:17:52Z)
• Detecting Object Tracking Failure via Sequential Hypothesis Testing [80.7891291021747]
  ビデオにおけるリアルタイムのオンラインオブジェクト追跡は、コンピュータビジョンにおける中核的なタスクである。 本稿では,物体追跡を逐次的仮説テストとして解釈することを提案する。 本研究では,地中追跡情報と内部追跡情報の両方を活用することにより,教師なしと教師なしの両方の変種を提案する。
  論文  参考訳（メタデータ） (2026-02-13T14:57:15Z)
• interwhen: A Generalizable Framework for Verifiable Reasoning with Test-time Monitors [47.363850513075356]
  実験時間検証フレームワークであるInterwhenを提案し, 与えられた検証結果に対して, 推論モデルの出力が有効であることを保証する。 検証された推論は、物理的な世界にエージェントを配置するといった高度なシナリオにおいて重要な目標である。
  論文  参考訳（メタデータ） (2026-02-05T08:35:01Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。