論文の概要: CATP: Design and Evaluation of Local Agent Authorization and Audit Evidence
- arxiv url: http://arxiv.org/abs/2609.38223v1
- Date: Mon, 28 Sep 2026 04:06:20 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-01 18:57:26.391946
- Title: CATP: Design and Evaluation of Local Agent Authorization and Audit Evidence
- Title（参考訳）: CATP:ローカルエージェントの認可と監査エビデンスの設計と評価
- Abstract要約: 署名された認可記録は、署名者が主張したものを認証するが、それ自体は、アサーションが実行時決定に使用されるポリシーとアクションに一致することを証明していない。
CATPは、ローカルな実行前決定をオフラインで検証可能な証拠に伝達するために必要な結合を指定する。
- 参考スコア（独自算出の注目度）: 1.2691047660244335
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: A signed authorization record authenticates what a signer asserted, but does not by itself establish that the assertion agrees with the policy and action used for a runtime decision. CATP specifies the bindings needed to carry a local pre-execution decision into offline-verifiable evidence. Its hook commits to the enforcement-time policy and adapter-normalized action and durably records the decision before returning permission. A later receipt binds the record to a self-contained audit export. An implementation for Claude Code and Codex supports an empirical examination of these bindings. Controlled, validly signed counterexamples expose five missing consistency checks; adding them changes acceptance on the same inputs, with all 13 expected outcomes satisfied. A separate probe finds that distinct argument vectors can become the same normalized action before hashing, limiting what even a consistent receipt can establish. Eight scripted runtime cases verify hook delivery and allow/deny behavior; failure tests cover tampering, substitution, replay, concurrency and persistence errors. Median paired hook overhead is approximately 85 ms, and offline verification takes approximately 174 ms end to end on the testbed. The evidence remains conditional on a trusted runtime, monitor, host and signing key. It authenticates a decision about the normalized action, without proving execution truth, complete disclosure or autonomous task utility. The optional Groth16 study covers a narrower circuit predicate; the evaluation does not establish superiority over other systems.
- Abstract（参考訳）: 署名された認可記録は、署名者が主張したものを認証するが、それ自体は、アサーションが実行時決定に使用されるポリシーとアクションに一致することを証明していない。
CATPは、ローカルな実行前決定をオフラインで検証可能な証拠に伝達するために必要な結合を指定する。
そのフックは、強制時間ポリシーとアダプタ正規化アクションにコミットし、許可を返す前に決定を確実に記録する。
その後のレシートは、記録を自己完結した監査エクスポートにバインドする。
Claude CodeとCodexの実装は、これらのバインディングの実証的な検証をサポートする。
コントロールされた、正当に署名された反例は、5つの欠落した一貫性チェックを公開します。
別個のプローブは、異なる引数ベクトルがハッシュする前に同じ正規化アクションになり、一貫性のあるレシートでさえ確立できるものを制限する。
障害テストでは、改ざん、置換、リプレイ、並行処理、永続化エラーがカバーされている。
中間対フックのオーバーヘッドは約85msで、オフライン検証はテストベッドで約174msの終端を必要とする。
証拠は、信頼できるランタイム、監視、ホスト、署名キーで条件付きである。
それは、実行真理、完全な開示または自律的なタスクユーティリティを証明することなく、正規化されたアクションに関する決定を認証する。
任意のGroth16研究は、より狭い回路述語をカバーしている。
関連論文リスト
- Approval Laundering: Systematizing Approval--Execution Binding Failures in AI Coding-Agent Harnesses [3.6370919520059424]
現代のAIコーディングエージェントは、ほとんど検討されていない前提でセキュリティ境界を保ちます。
本稿では,6つの障害モードの分類法であるApproval Launderingを紹介する。
我々はクレデンシャル・バインディングの整合性について研究する:すでに承認されたアクションを考えると、ハーネスは正確にそのアクションをディスパッチするのか?
論文 参考訳（メタデータ） (2026-09-30T04:59:15Z) - Agent Approval Laundering: Transitive Effects Beyond the Approved Invocation [4.976922673853743]
コーディングエージェントの承認インターフェースは、人間の決定をコマンドやツールコールに結び付ける。
私たちは、結果として生じる記録的障害承認洗浄を呼んでいます。
エージェントシステムにおけるこの記録-閉鎖関係の最初の系統的セキュリティ解析について述べる。
論文 参考訳（メタデータ） (2026-09-23T13:47:35Z) - Recoverability as a System Primitive for Long-Horizon AI Agents [5.008310199603767]
再利用を明示的な決定とするシステムプリミティブとして,リカバリビリティを導入する。
4つの決定論的ファイルと20のペアファイルの課題は、正確な復元と完了が許可されていない開始点を隠蔽できることを示している。
論文 参考訳（メタデータ） (2026-09-12T02:54:33Z) - Can AI Agents Deliver Verifiable Network-Wide Outcomes Across Authority Boundaries? [31.85609823320721]
本稿では,協調エージェント操作がオペレータのネットワーク意図を達成したかどうかを判断するランタイム保証層であるEvidenceNetを提案する。
ライブルーティングネットワークの実験では、変更後の状態チェックは、構成アクションレコードだけでは確立できない成功結果を認識する。
論文 参考訳（メタデータ） (2026-09-09T13:51:15Z) - VeriPhy: Agentic Physical Reasoning for World Model Evaluation and Refinement [57.86962208273888]
テキストのみのプランナが入力された物理義務にプロンプトをコンパイルする監査可能な物理検証システムを提案する。
それぞれのアクションは、ペイロードがタイプされた測定か、明示的にタグ付けされた学習状態である証明付きエビデンスレコードを返す。
我々は, 実発生障害を即時参照, 空間, 時間でローカライズする, 1500クリックの欠陥記録のコーパスにおいて, 評価をアンロックする。
論文 参考訳（メタデータ） (2026-09-02T20:36:45Z) - $Z^2$-ACT: End-to-End Verifiable Agentic Intent Control for Open 6G RAN [43.15181031994434]
本稿では,ゼロ知識監査制御とゼロ信頼検証エージェントインテントアーキテクチャを提案する。
実大規模言語モデルは、オペレータの意図をIntent Contractsに変換するために、非リアルタイムパスで使用される。
その結果、動作フィルタリングと攻撃レジリエンスを適度なレイテンシとシグナリングコストで改善したことが示唆された。
論文 参考訳（メタデータ） (2026-08-21T12:44:03Z) - From Trajectories to Evidence: Auditable Experimental Records for Industrial Research Agents [47.678562263387214]
研究エージェントは、産業レコメンデーション設定において、多段階の機械学習実験をますます実施している。
生成されたアーティファクトは、サポートされないか、不完全かもしれないし、実行されたラウンドは無効かもしれないし、あるいは廃止されるかもしれないし、後の修正は、以前の発見を曖昧にするかもしれない。
本稿では,連続的アーティファクトのバウンダリ検証と実行後のクレーム資格を結合するエビデンス・グラウンド・フレームワークを提案する。
論文 参考訳（メタデータ） (2026-08-05T13:37:38Z) - Verify-Gated Completion as Admission Control in a Governed Multi-Agent Runtime: A Bounded Architecture Case Study [0.6875312133832079]
制御されたマルチエージェントランタイムの入出力制御パターンとして,検証ゲート補完について検討する。
観測条件下では,読み取り専用検証ゲートとパケット化入力記録が検査可能で,フェールクロースされた。
論文 参考訳（メタデータ） (2026-05-18T07:52:13Z) - interwhen: A Generalizable Framework for Verifiable Reasoning with Test-time Monitors [47.363850513075356]
実験時間検証フレームワークであるInterwhenを提案し, 与えられた検証結果に対して, 推論モデルの出力が有効であることを保証する。
検証された推論は、物理的な世界にエージェントを配置するといった高度なシナリオにおいて重要な目標である。
論文 参考訳（メタデータ） (2026-02-05T08:35:01Z) - Preventing the Collapse of Peer Review Requires Verification-First AI [49.995126139461085]
我々は、真理結合、すなわち、過度に科学的真理をトラックする場所のスコアの厳密さを提案する。
プロキシ・ソブリン評価に向けた相転移を駆動する2つの力の形式化を行う。
論文 参考訳（メタデータ） (2026-01-23T17:17:32Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。