LATIDIA · Ciberseguridad
Autorización criptográficamente verificable para agentes autónomos de IA: una hipótesis falsable y una prueba de concepto
arXiv:2607.21325v3 Tipo de anuncio: reemplazar Resumen: Los agentes autónomos de IA ejecutan cada vez más acciones, invocan herramientas y operan en recursos protegidos con una supervisión humana limitada. Autenticación y autorización existentes
WhatsApp ↗Telegram ↗
La noticia
arXiv:2607.21325v3 Announce Type: replace 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 study 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