論文の概要: Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation
- arxiv url: http://arxiv.org/abs/2607.21325v1
- Date: Thu, 23 Jul 2026 13:55:02 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-24 18:26:25.424975
- Title: Toward cryptographically verifiable authorization for autonomous AI agents: A security hypothesis, preliminary formal model, and proof-of-concept implementation
- Title（参考訳）: 自律型AIエージェントの暗号的に検証可能な認証に向けて:セキュリティ仮説、予備形式モデル、概念実証実装
- Abstract要約: 本稿では,エージェント認証が暗号的に検証可能な関係として形式化可能であることを仮定する。
暗号検証エージェント認証(CVA)のための事前の形式的抽象化を導入する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: Autonomous AI agents increasingly execute actions, invoke tools, and operate on protected resources with limited human oversight. Existing authentication and authorization mechanisms establish identity and delegate authority, but do not inherently provide cryptographic evidence that a concrete request issued by a specific agent satisfies the applicable policy in a specific execution context. This paper hypothesizes that agent authorization can be formalized as a cryptographically verifiable relation, denoted $R_{CVA}$, that jointly binds an agent principal, a concrete authorization request, an execution context, and the satisfaction of an applicable policy, while selectively preserving the confidentiality of private authorization attributes. We introduce a preliminary formal abstraction for Cryptographically Verifiable Agent Authorization (CVA), define a compact set of candidate security properties including authorization soundness, principal binding, request binding, policy binding, and replay resistance, and provide an executable zero-knowledge proof of concept that instantiates selected elements of the model over a Groth16 zk-SNARK construction. We further identify and formalize the structural separation among identity binding, authorization-request binding, and runtime execution binding as a central open problem in the design of secure agentic systems (a distinction {not explicitly addressed by} current agentic security frameworks) and present a falsifiable research agenda for its resolution.
- Abstract（参考訳）: 自律的なAIエージェントは、アクションを実行し、ツールを実行し、制限された人間の監視で保護されたリソースを操作する。
既存の認証と認可機構は、アイデンティティと委任権限を確立するが、特定のエージェントによって発行された具体的な要求が特定の実行コンテキストで適用可能なポリシーを満たすという暗号的証拠は本質的に提供しない。
本稿では, エージェント認証を暗号的に検証可能な関係として定式化することができることを仮定する。$R_{CVA}$, エージェントのプリンシパル, 具体的な認証要求, 実行状況, 適用ポリシーの満足度を, プライベートな認証属性の機密性を選択的に保存しながら結合する。
本稿では,暗号検証エージェント認証 (CVA) の予備的な形式的抽象化を導入し,承認音性,プリンシパルバインディング,要求バインディング,ポリシーバインディング,リプレイ抵抗を含むセキュリティ特性のコンパクトなセットを定義し,Groth16 zk-SNARK構造上でモデル選択要素をインスタンス化する概念のゼロ知識証明を提供する。
さらに、セキュアなエージェントシステムの設計において、IDバインディング、認証要求バインディング、ランタイム実行バインディング間の構造的分離を中心的なオープン問題として(現在のエージェントセキュリティフレームワークでは明示的に対応していない)特定し、その解決のための実証可能な研究課題を提示する。
関連論文リスト
- Mandato: Protocol-Level Enforcement of Digitally Signed Mandates on AI Agent Actions with Cryptographically Chained Audit Trails [0.0]
我々は、プロトコルレベルでエージェントアクションにデジタル署名された委任を強制するガバナンスプロキシであるMandatoを提示する。
委任状(英: Mandate)とは、エージェントがどのツールを呼び出すかを指定する、機械可読で暗号的に署名された認証文書である。
本稿では, 基準システムの実装状況と, 実施オーバーヘッド, 監査完全性, タンパー・エビデンス検証コストをカバーする定量的評価計画について述べる。
論文 参考訳（メタデータ） (2026-08-14T08:33:43Z) - Behavioral Governance for Autonomous AI Agents: The AgentBound Framework [2.4469484645516832]
我々は、自律型AIエージェントに対して検証可能な行動監視を提供するランタイムガバナンスフレームワークであるAgentBoundを紹介する。
AgentBoundは、提案された各アクションを、委任された認可、所有者が署名した行動構成、サイトアクション契約の3つの独立した当局を使用して評価する。
AgentBoundは暗号的に検証可能なガバナンスレシートを生成し、すべてのアクションを決定を管理する正確なデリゲート、ポリシー、セマンティックアーティファクトにバインドする。
論文 参考訳（メタデータ） (2026-06-29T23:12:06Z) - Overlaying Governance: A Compositional Authorization Framework for Delegation and Scope in Agentic AI [5.459755757192724]
本稿ではエージェントAIシステムのための構成的ガバナンスフレームワークを提案する。
デリゲートの種類とそのパーミッションと説明責任の意味を定義します。
これはエージェントAIシステムにおける説明可能な認可のための形式的かつ実用的な基盤を提供する。
論文 参考訳（メタデータ） (2026-06-02T11:39:39Z) - Provably Secure Agent Guardrail [89.79561918065122]
既存の防衛アーキテクチャは経験的セマンティックガードレールと確率論的大モデル調整器に依存している。
本稿では,論理的推論の基本的制約に基づくエージェントのための新しいセキュリティパラダイムを提案する。
論文 参考訳（メタデータ） (2026-05-28T02:12:41Z) - Verifiable Agentic Infrastructure: Proof-Derived Authorization for Sovereign AI Systems [2.124730017640531]
構造化された人工物から実行権限を演算する制御された突然変異システムに対する検証フレームワークを提案する。
DTFは、エージェント実行を統治可能、監査可能、およびソブリンAIデプロイメントにバウンド化するためのインフラストラクチャ基盤を提供する。
論文 参考訳（メタデータ） (2026-05-13T17:58:52Z) - Digital Identity for Agentic Systems: Toward a Portable Authorization Standard for Autonomous Agents [0.0]
本稿では,保険請求処理とサプライチェーンの整合性における代表的企業利用事例について分析する。
発行者認可認可ペイロードに基づく自律エージェントの携帯型認証モデルを提案する。
論文 参考訳（メタデータ） (2026-05-12T04:04:34Z) - The Authorization-Execution Gap Is a Major Safety and Security Problem in Open-World Agents [111.54911637435269]
オーソライゼーション・実行ギャップ(英: Authorization-Execution Gap、AEG)は、オープンワールドエージェントの安全性とセキュリティの問題である。
AEGは、プリンシパルが認可しようとするものと、オープンワールドエージェントが最終的に実行するものとの違いである。
論文 参考訳（メタデータ） (2026-05-10T04:05:31Z) - Verification of Robust Properties for Access Control Policies [51.736723807086385]
既存のアクセス制御ポリシーの検証方法は、検証が進む前に、ポリシーを完全かつ完全に決定する必要がある。
本稿では,政策構造がどのような決定を下すか,どのような決定を下すか,あるいはその後の拡張に拘わらず,その決定を行うかという課題について,ロバストなプロパティ検証を導入する。
可能なすべてのポリシー拡張を普遍的に定量化しているにもかかわらず、判断は二階述語論理プログラミング言語における探索の証明に還元されることを示す。
論文 参考訳（メタデータ） (2026-03-13T17:14:38Z) - Authorize-on-Demand: Dynamic Authorization with Legality-Aware Intellectual Property Protection for VLMs [70.09137776277994]
AoD-IPは、オンデマンドおよび合法性認識アセスメントをサポートするフレームワークである。
AoD-IPは強力な認証ドメイン性能と信頼性の高い不正検出を維持している。
論文 参考訳（メタデータ） (2026-03-05T07:36:07Z) - Interoperable Architecture for Digital Identity Delegation for AI Agents with Blockchain Integration [0.0]
不均一なアイデンティティエコシステムをまたいだ、境界付き、監査可能、最小限のデリゲートを可能にする統一的なフレームワークを導入する。
このフレームワークには4つの重要な要素が含まれている。デリゲーション・グラント(DG)、強制範囲の縮小を伴う権限の無効化をエンコードする第一級の認可アーティファクト。
また、信頼のアンカー、クレデンシャルと証明のバリデーション、ポリシー評価、Trust Gateway経由のプロトコル仲介を分離する階層化された参照アーキテクチャも含まれている。
論文 参考訳（メタデータ） (2026-01-21T13:29:23Z) - 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) - Combining Decentralized IDentifiers with Proof of Membership to Enable Trust in IoT Networks [44.99833362998488]
本稿は、同じ管理ドメイン下でのIoTノードの代替(相互)認証プロセスを提案し、議論する。
第一の考え方は、分散ID(Decentralized IDentifier, DID)に基づく秘密鍵所有権の検証と、DIDが進化した信頼された集合に属するという証明の検証を組み合わせることである。
論文 参考訳（メタデータ） (2023-10-12T09:33:50Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。