論文の概要: Mandato: Protocol-Level Enforcement of Digitally Signed Mandates on AI Agent Actions with Cryptographically Chained Audit Trails
- arxiv url: http://arxiv.org/abs/2608.14074v1
- Date: Fri, 14 Aug 2026 08:33:43 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-17 20:14:29.327142
- Title: Mandato: Protocol-Level Enforcement of Digitally Signed Mandates on AI Agent Actions with Cryptographically Chained Audit Trails
- Title（参考訳）: Mandato: 暗号化された監査トレイルによるAIエージェントアクションに関するデジタル署名された委任事項のプロトコルレベル適用
- Abstract要約: 我々は、プロトコルレベルでエージェントアクションにデジタル署名された委任を強制するガバナンスプロキシであるMandatoを提示する。
委任状(英: Mandate)とは、エージェントがどのツールを呼び出すかを指定する、機械可読で暗号的に署名された認証文書である。
本稿では, 基準システムの実装状況と, 実施オーバーヘッド, 監査完全性, タンパー・エビデンス検証コストをカバーする定量的評価計画について述べる。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: AI agents increasingly act on external systems through standardized tool-calling protocols such as the Model Context Protocol (MCP), yet no infrastructure layer constrains their actions to what a principal has verifiably authorized: authorization logic lives in application code, is neither signed nor independently auditable, and the resulting logs lack evidentiary value. We present Mandato, a governance proxy that enforces digitally signed mandates on agent actions at the protocol level. A mandate is a machine-readable, cryptographically signed authorization artifact specifying which tools an agent may invoke, under which parameter constraints and contextual conditions, for how long, and on whose behalf; the proxy evaluates every tool call against the applicable mandate chain, blocks non-conforming calls in line, and records every decision -- permit, deny, and the evidence for each -- in an append-only, hash-chained audit log designed for evidentiary use and periodically anchored via qualified timestamps. The mandate is deliberately modeled on the civil-law institution of delegation of authority, making the artifact legible to lawyers and auditors, not only to engineers. We give the mandate model and its decision semantics, the reference architecture as an MCP-transparent proxy with separated decision and enforcement points, and a mapping of the mechanism onto EU AI Act Articles 12 and 14, GDPR accountability, NIS2, and eIDAS 2, including a roadmap to qualified attestation through Qualified Trust Service Providers (QTSPs). We describe the implementation status of the reference system and a quantitative evaluation plan covering enforcement overhead, audit completeness, and tamper-evidence verification cost.
- Abstract（参考訳）: AIエージェントは、モデルコンテキストプロトコル(MCP)のような標準化されたツールコールプロトコルを通じて、ますます外部システムに作用する。しかし、インフラストラクチャ層は、プリンシパルが検証可能な権限を持つものに対して、彼らのアクションを制約しない。
我々は、プロトコルレベルでエージェントアクションにデジタル署名された委任を強制するガバナンスプロキシであるMandatoを提示する。
プロキシは、適用可能な管理チェーンに対するすべてのツールコールを評価し、行内の非コンフォーミングコールをブロックし、すべての決定を記録します。
委任状は故意に公民権委任機関をモデルにしており、技術者だけでなく弁護士や監査官にも合法化されている。
委任モデルとその決定セマンティクス、意思決定と執行ポイントを分離したMPP透過的なプロキシとしての参照アーキテクチャ、EU AI法第12条及び第14条、GDPR説明責任、NIS2、およびeIDAS2へのマッピング、認定信託サービスプロバイダ(QTSP)による資格証明のロードマップを含む。
本稿では, 基準システムの実装状況と, 実施オーバーヘッド, 監査完全性, タンパー・エビデンス検証コストをカバーする定量的評価計画について述べる。
関連論文リスト
- Binding Biometrics with AI Agent Identifiers for Delegation of Authority [35.87507447481885]
エージェント認証時に,BINDと呼ばれる,人間の生体データをAIエージェント識別(ID)と権限範囲(タスク固有の制約)に安全に結合するフレームワークを提案する。
このトークン/識別子は、AIエージェントによって、生体認証を同時に実行し、エージェントIDとスコープを回復するID監査者に提示することができる。
また、標準的なディープニューラルネットワークモデルを用いて抽出された顔特徴に基づいて提案したBINDフレームワークの実践的実装も提供する。
論文 参考訳（メタデータ） (2026-08-04T23:58:27Z) - Formal Verification of Agentic Systems over Operational Data [59.98246281888422]
大規模言語モデル(LLM)によって駆動されるエージェントシステムは、永続的な運用データを扱う現実世界にますます展開されている。
既存のアプローチはそのようなシステムレベルの保証を提供していません。
本稿では, 1 つの LLM とツールオーケストレーションハーネスからなるエージェントシステムのリレーショナル操作データに対する検証について述べる。
論文 参考訳（メタデータ） (2026-08-04T13:01:30Z) - Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation [0.0]
本稿では,エージェント認証が暗号的に検証可能な関係として形式化可能であることを仮定する。
暗号検証エージェント認証(CVA)のための事前の形式的抽象化を導入する。
論文 参考訳（メタデータ） (2026-07-23T13:55:02Z) - Behavioral Governance for Autonomous AI Agents: The AgentBound Framework [2.4469484645516832]
我々は、自律型AIエージェントに対して検証可能な行動監視を提供するランタイムガバナンスフレームワークであるAgentBoundを紹介する。
AgentBoundは、提案された各アクションを、委任された認可、所有者が署名した行動構成、サイトアクション契約の3つの独立した当局を使用して評価する。
AgentBoundは暗号的に検証可能なガバナンスレシートを生成し、すべてのアクションを決定を管理する正確なデリゲート、ポリシー、セマンティックアーティファクトにバインドする。
論文 参考訳（メタデータ） (2026-06-29T23:12:06Z) - Sovereign Assurance Boundary: Certificate-Bound Admission for Agentic Infrastructure [2.124730017640531]
Sovereign Assurance境界は、自動実行権限のための証明書バウンドランタイムアクセス層である。
本稿では,エアロックブローカーのアーキテクチャを詳述し,その入力と取り消しの不変性を定式化し,Goプロトタイプの予備実現可能性の測定結果を報告する。
論文 参考訳（メタデータ） (2026-06-10T03:49:57Z) - Digital Identity for Agentic Systems: Toward a Portable Authorization Standard for Autonomous Agents [0.0]
本稿では,保険請求処理とサプライチェーンの整合性における代表的企業利用事例について分析する。
発行者認可認可ペイロードに基づく自律エージェントの携帯型認証モデルを提案する。
論文 参考訳（メタデータ） (2026-05-12T04:04:34Z) - Agent Control Protocol: Admission Control for Agent Actions [0.4929694290403903]
エージェントコントロールプロトコル(エージェントコントロールプロトコル、ACP)は、B2Bの機関環境における自律エージェントの受け入れ制御ガバナンスのための正式な仕様である。
ACPは、暗号ID、能力に基づく認可、決定論的リスク評価、連鎖デリゲート、および暗号化連鎖監査を定義する。
ACPはRBACとZero Trustの上で動作し、どちらのモデルも解決しない問題に対処する。
論文 参考訳（メタデータ） (2026-03-19T12:28:28Z) - Agents of Chaos [50.53354213047402]
実験室環境に展開する自律言語モデルを用いたエージェントの探索的再チームの研究を報告する。
20人のAI研究者が、良心的および敵対的な条件下でエージェントと対話した。
我々の発見は、現実的なデプロイメント設定におけるセキュリティ、プライバシ、ガバナンスに関連する脆弱性の存在を確立します。
論文 参考訳（メタデータ） (2026-02-23T16:28:48Z) - Zero-Trust Runtime Verification for Agentic Payment Protocols: Mitigating Replay and Context-Binding Failures in AP2 [0.0]
本稿ではエージェントベースの決済システムにおいて,AP2管理ライフサイクルのセキュリティ分析を行い,実行中に発生する強制的ギャップを識別する。
本稿では,明示的なコンテキストバインディングとコンシューム・オンス・マンデート・セマンティクスを適用したゼロトラストランタイム検証フレームワークを提案する。
本稿では,コンテキストアウェアバインディングとコンシューム・オンス・エグゼクティブ・アドレスの区別と相補的アタック・クラスを示すとともに,リプレイとコンテキスト・リダイレクト・アタックの防止に必要であることを示す。
論文 参考訳（メタデータ） (2026-02-06T03:22:11Z) - Binding Agent ID: Unleashing the Power of AI Agents with accountability and credibility [46.323590135279126]
BAID(Binding Agent ID)は、検証可能なユーザコードバインディングを確立するための総合的なアイデンティティ基盤である。
ブロックチェーンベースのID管理とzkVMベースの認証プロトコルの実現可能性を実証し、完全なプロトタイプシステムの実装と評価を行った。
論文 参考訳（メタデータ） (2025-12-19T13:01:54Z) - Towards Trusted Service Monitoring: Verifiable Service Level Agreements [37.76528129929801]
サービス指向環境におけるSLA(Service Level Agreement)監視は、プロバイダがメトリクスを自己報告する場合、固有の信頼の衝突に悩まされます。
信頼性のあるハードウェアモニタとゼロ知識証明を通じて、検証可能なSLA違反クレームを生成するためのフレームワークを導入する。
論文 参考訳（メタデータ） (2025-10-15T10:02:29Z) - SOPBench: Evaluating Language Agents at Following Standard Operating Procedures and Constraints [59.645885492637845]
SOPBenchは、各サービス固有のSOPコードプログラムを実行可能な関数の有向グラフに変換する評価パイプラインである。
提案手法では,各サービス固有のSOPコードプログラムを実行可能関数の有向グラフに変換し,自然言語SOP記述に基づいてこれらの関数を呼び出しなければならない。
我々は18の先行モデルを評価し、上位モデルでさえタスクが困難であることを示す。
論文 参考訳（メタデータ） (2025-03-11T17:53:02Z) - CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection [41.94295877935867]
我々は,新たな暗号プロトコルの脆弱性を自律的に識別する大規模言語モデルの能力を評価するためのベンチマークを導入する。
私たちは、新しい、欠陥のある通信プロトコルのデータセットを作成し、AIエージェントが発見した脆弱性を自動的に検証する方法を設計しました。
論文 参考訳（メタデータ） (2024-11-20T14:16:55Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。