Cryptographically verifiable authorization for autonomous AI agents: A falsifiable hypothesis and proof-of-concept
Di cosa parla
Si propone di rendere l'autorizzazione degli agenti autonomi verificabile con metodi crittografici: una prova che leghi agente, richiesta concreta, contesto di esecuzione e regola applicata, preservando la riservatezza di attributi privati. Gli autori forniscono una definizione preliminare, un insieme di proprietà di sicurezza, un dimostratore basato su una prova a conoscenza zero (cioè dimostrare qualcosa senza rivelare i dati segreti) e un'agenda di ricerca falsificabile.
Cosa permette di osservare
Consente di esplorare come dimostrare, senza esporre dati riservati, che un'azione di un agente era effettivamente autorizzata in un dato contesto, e come separare prova d'identità, richiesta ed esecuzione nelle architetture agenti.
Dalla fonte
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 securit…