論文の概要: A Challenge-Nonce Freshness Gap in Project Veraison's TPM Reference Schemes, Found by Appraising Application-Layer Action Evidence End-to-End

• arxiv url: http://arxiv.org/abs/2608.03534v1
• Date: Tue, 04 Aug 2026 12:14:39 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-08-06 07:04:20.718084
• Title: A Challenge-Nonce Freshness Gap in Project Veraison's TPM Reference Schemes, Found by Appraising Application-Layer Action Evidence End-to-End
• Title（参考訳）: エンド・ツー・エンドのアプリケーション・レイヤ・アクション・エビデンスを応用したProject VeraisonのTPM参照スキームにおけるチャレンジ・ナンス・フレッシュネスギャップ
• Abstract要約: 以前の研究では、このレコードをIETF Remote Attestation procedures (RATS)アーキテクチャの下でアプリケーション層エビデンスとして扱うことを提案した。 我々は、エミュレートされたソフトウェアTPMで生成されたAEP引用を、コンフォーマントなProject Veraison RATS Verifierを通してエンドツーエンドに駆動する。 正確に、アップストリーム可能な2つの部分の修正を行い、エンドツーエンドで検証します。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: When an automated agent (an AI agent, say) takes a consequential action, the record it leaves behind is produced by the very software stack whose integrity is in question. A signed log proves which key wrote the record, not what the runtime was. Prior work proposed treating that record (an Action Evidence Package, AEP: a signed append-only record of an action, its authorising principal, and its outcome) as application-layer Evidence under the IETF Remote ATtestation procedureS (RATS) architecture (RFC 9334), binding the outcome into a hardware-rooted TPM quote so that swapping it invalidates the quote. But that prior work appraised the result only against a minimal Verifier stand-in. This article closes that gap. We drive an AEP quote, produced on an emulated software TPM, end-to-end through a conformant Project Veraison RATS Verifier. We generate an EC P-256 attestation key, measure the AEP outcome digest into a PCR, pack a genuine quote into Veraison's tpm-enacttrust format, provision a Concise Reference Integrity Manifest (trust anchor plus golden reference value), and obtain a signed EAT Attestation Result (EAR). Good evidence yields affirming; an outcome-swap or a one-byte signature tamper yields contraindicated. Along the way we uncover, responsibly disclose, and fix a security-relevant finding: the reference scheme does not enforce challenge-nonce freshness, so a replayed quote still appraises as affirming. We give an exact, upstreamable two-part fix and validate it end-to-end. With the fix active, the same valid quote that is affirming in its own session flips to contraindicated when replayed to a fresh one. The pipeline is fully reproducible; the Attester remains an emulated swtpm, not a hardware guarantee.
• Abstract（参考訳）: 自動化されたエージェント(AIエージェントなど)が連続的なアクションをとれば、それが残したレコードは、完全性に疑問を呈するソフトウェアスタックによって生成される。 署名されたログは、どのキーがレコードを書いたかを証明する。 このレコード(アクションエビデンスパッケージ、AEP: 署名付き追加専用レコード、プリンシパル、およびその結果)をIETFリモート検証手順(RATS)アーキテクチャ(RFC 9334)の下でアプリケーション層エビデンスとして扱うことを提案した。 しかし、その前の作業は、最小限のVerifierスタンドインに対してのみ結果を評価した。 この記事はそのギャップを埋めます。 我々は、エミュレートされたソフトウェアTPMで生成されたAEP引用を、コンフォーマントなProject Veraison RATS Verifierを通してエンドツーエンドに駆動する。 我々は、EC P-256検査キーを生成し、AEP結果の消化をPCRに測定し、真に引用をVeraisonのtpm-enacttrustフォーマットに詰め込み、簡潔な参照整合性マニフェスト(トラストアンカーとゴールデンリファレンス値)を設定し、署名されたEAT検査結果(EAR)を得る。 良い証拠は肯定し、結果スワップまたは1バイトのシグネチャターパーは禁忌となる。 参照スキームはチャレンジナンスの新鮮さを強制しないので、リプレイされた引用は今でも肯定的に評価されている。 正確に、アップストリーム可能な2つの部分の修正を行い、エンドツーエンドで検証します。 修正がアクティブになると、自身のセッションで確認されているのと同じ有効な引用が、新しいものへのリプレイ時に無効にされる。 Attesterは、ハードウェア保証ではなく、エミュレートされた swtpm のままである。

関連論文リスト

• You've Got a BUD in Me: Authenticated Reads from Per-Block Write Logs [41.99844472131922]
  我々は,各ブロックの書き込みを認証することで,バリデータがどのように過去のメンバシップや排除証明をサポートできるかを示す。 Block Update Digestは、前のポインタが各キーの連続的な変更をリンクする書き込みログをコミットする。 SuperBUDはウィンドウ上で最後の書き込みを要約する。指数的階層は長い一定間隔を短い証明に変換する。
  論文  参考訳（メタデータ） (2026-09-10T08:46:09Z)
• Zero-Knowledge Predicate Proofs Between AI Agents: A Measured, Cross-Protocol Gateway and the Source-Integrity Gap [0.0]
  マルチエージェントAIプラットフォームは、ステージングからプロダクションへ素早く移行するが、エージェントが信頼を確立する方法はまだ初歩的だ。 提案から実行システムまで,エージェント間での検証可能なデータ最小化を行う。 32ビットのしきい値述語は6.2msで証明され、608バイトのBulletproofs証明で1.0msで検証される。
  論文  参考訳（メタデータ） (2026-08-30T23:16:17Z)
• AgentProv: Auditing Agentic LLM API Providers via Tool-use Policy Probes [38.37599802008238]
  商用LLM APIは特定の基盤モデルを宣伝するが、提供されたバックボーンは静かに代用され、定量化され、あるいはラップされることがある。 既存の監査はすべて、テキスト出力チャネルからバックボーンアイデンティティを決定する。 本稿では,AgentProv(AgentProv)について紹介する。
  論文  参考訳（メタデータ） (2026-08-30T08:22:12Z)
• $Z^2$-ACT: End-to-End Verifiable Agentic Intent Control for Open 6G RAN [43.15181031994434]
  本稿では,ゼロ知識監査制御とゼロ信頼検証エージェントインテントアーキテクチャを提案する。 実大規模言語モデルは、オペレータの意図をIntent Contractsに変換するために、非リアルタイムパスで使用される。 その結果、動作フィルタリングと攻撃レジリエンスを適度なレイテンシとシグナリングコストで改善したことが示唆された。
  論文  参考訳（メタデータ） (2026-08-21T12:44:03Z)
• Hardware-rooted attestation for AI-agent evidence: composing IETF RATS with action evidence packages [0.0]
  アクションエビデンスパッケージ(AEP)は、AIエージェントが行ったことの署名付き追加専用記録である。 AEPは、エージェント自身のランタイムがそれを報告するように、検証者に対してアクションのストーリーを伝えます。 このメモは、この種のソフトウェアの検証は必要だが十分ではないと主張している。
  論文  参考訳（メタデータ） (2026-08-01T18:01:36Z)
• 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)
• Sovereign Assurance Boundary: Certificate-Bound Admission for Agentic Infrastructure [2.124730017640531]
  Sovereign Assurance境界は、自動実行権限のための証明書バウンドランタイムアクセス層である。 本稿では,エアロックブローカーのアーキテクチャを詳述し,その入力と取り消しの不変性を定式化し,Goプロトタイプの予備実現可能性の測定結果を報告する。
  論文  参考訳（メタデータ） (2026-06-10T03:49:57Z)
• Proof-Carrying Agent Actions: Model-Agnostic Runtime Governance for Heterogeneous Agent Systems [0.6526824510982799]
  本稿では,アクション証明書を中心としたランタイム中立ガバナンスモデルであるProof-Carrying Agent Actions (PCAA)を提案する。 PCAAは5つのチェックポイント(事前行動の許容、行動のオープン、仮定のキャプチャ、承認、結果のクロージャ)を統括する。 異種エージェント制御プレーンと開示バウンダリ評価プロトコルの参照実装を用いてモデルについて検討する。
  論文  参考訳（メタデータ） (2026-06-02T18:10:35Z)
• Proof of Execution: Runtime Verification for Governed AI Agent Actions [0.0]
  エージェントシステムはアドバイスよりもますます実行します。 私たちはこれを実行時の証明として定式化します。 PoEは、認証、エフェクト、履歴、リプレイを単一のランタイムチェック可能なオブジェクトにバインドする。
  論文  参考訳（メタデータ） (2026-04-26T12:30:54Z)
• Compiling Activation Steering into Weights via Null-Space Constraints for Stealthy Backdoors [48.881343993730844]
  安全性に整合した大規模言語モデル(LLM)は、現実世界のパイプラインにますますデプロイされている。 敵は通常の評価では動作しないバックドアのチェックポイントを配布することができる。 最近のポストホック重み付け法は、そのようなバックドアを注入するための効率的なアプローチを提供する。
  論文  参考訳（メタデータ） (2026-04-14T06:48:33Z)
• AEX: Non-Intrusive Multi-Hop Attestation and Provenance for LLM APIs [0.9915938571870905]
  AEXはリクエスト、レスポンス、ツールコール、ストリーミング、エラーセマンティクスを保持し、代わりに署名されたトップレベルの認証オブジェクトを追加する。 本稿では,プロトコル設計,脅威モデル,検証状態マシン,セキュリティとプライバシ分析,OpenAI互換のチャット補完プロファイルを提案する。
  論文  参考訳（メタデータ） (2026-03-15T08:42:39Z)
• MOOSEnger -- a Domain-Specific AI Agent for the MOOSE Ecosystem [38.627314894173296]
  MOOSEngerはMultiphysics Object-Oriented Simulation Environment(MOOSE)に合わせたツール対応AIエージェントである。 自然言語インテントを実行可能インプットに変換し、キュレートされたドキュメント/例に対する検索拡張生成と決定論的、MOOSE対応のパース、バリデーション、実行ツールを組み合わせる。
  論文  参考訳（メタデータ） (2026-03-05T03:06:06Z)
• Protocol Testing with I/O Grammars [45.68497486907946]
  本稿では,単一フレームワークにおける入力生成と出力チェックを組み合わせた新しいプロトコルテスト手法を提案する。 我々は、I/O文法が、テスト中のプログラムの出力検証を可能にするとともに、高度なプロトコルの特徴を正しく、完全に指定できることを実証する。
  論文  参考訳（メタデータ） (2025-09-24T16:41:04Z)
• Are You Getting What You Pay For? Auditing Model Substitution in LLM APIs [71.7892165868749]
  LLM(Commercial Large Language Model) APIは基本的な信頼の問題を生み出します。 ユーザーは特定のモデルに課金するが、プロバイダが忠実に提供できることを保証することはない。 我々は,このモデル置換問題を定式化し,現実的な逆条件下での検出方法を評価する。 我々は,信頼された実行環境(TEE)を実用的で堅牢なソリューションとして使用し,評価する。
  論文  参考訳（メタデータ） (2025-04-07T03:57:41Z)

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

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