Resumen Técnico: Prueba de Continuidad: Un Modelo Temporal para la Propagación de Autoridad en Sistemas Distribuidos y Agentes de IA

1. Planteamiento del Problema

El artículo identifica una limitación fundamental en los modelos de autorización actuales, específicamente en la Prueba de Posesión (PoP - Proof-of-Possession) y los sistemas basados en capacidades, cuando se aplican a cadenas de ejecución discretas y de múltiples saltos (por ejemplo, servicios distribuidos, invocaciones de herramientas de agentes de IA).

En los modelos PoP, la autoridad se deriva de la posesión de artefactos (tokens, credenciales, capacidades). Si bien estos modelos restringen eficazmente quién puede presentar un artefacto, no logran garantizar que la autoridad ejercida en un paso posterior sea una continuación causal del contexto de autoridad establecido en el origen de la solicitud.

Esta brecha conduce al problema del Delegado Confundido (Confused Deputy) en contextos distribuidos. Un delegado (ejecutor) puede poseer múltiples fuentes de autoridad (privilegios ambientales, tokens delegados, credenciales de portador). Si el delegado procesa una solicitud y, basándose en los parámetros de la misma, ejerce un privilegio que posee pero que no formaba parte del contexto de autoridad de origen de la solicitud, ocurre una violación de seguridad. El delegado está "confuso" porque ejecuta una acción causada causalmente por un usuario que carecía de la autoridad para realizar dicha acción, aun cuando el delegado poseía el privilegio necesario de forma independiente.

El artículo sostiene que los modelos basados en la posesión son invariantes de linaje: tratan un evento $(o, r)$ (operación $o$ sobre el recurso $r$) como válido basándose únicamente en la posesión del privilegio, ignorando el linaje temporal $\ell$ que produjo el evento. En consecuencia, no pueden distinguir entre una continuación válida de un linaje autorizado y una ejecución no autorizada que simplemente posee el mismo privilegio.

2. Metodología y Definición del Modelo

Los autores introducen el modelo de Identidad de Proveniencia de Linaje (PIC - Provenance Identity Continuity) y la disciplina de Prueba de Continuidad (PoC - Proof-of-Continuity) para abordar esta brecha temporal.

Formalismo Central

• Cadena de Ejecución: La ejecución se modela como una cadena causal de pasos $\pi = \langle (s_0, C_0), (s_1, C_1), \dots, (s_n, C_n) \rangle$, donde $s_i$ es un paso y $C_i$ es el contexto de autoridad (un subconjunto de privilegios $O \times R$) transportado en ese paso.
• Prueba de Relación (PoR - Proof of Relationship): Un primitivo causal de un solo salto. $PoR(s_i, s_{i+1})$ afirma que el paso $s_{i+1}$ es una continuación causal válida de $s_i$ dentro del mismo linaje.
• Restricción de Autoridad Monotónica: Una transición válida requiere que el contexto de autoridad en el siguiente paso sea un subconjunto del paso actual: $C_{i+1} \subseteq C_i$. La autoridad solo puede ser atenuada (restringida), nunca expandida.
• Prueba de Continuidad (PoC): Definida como la composición transitiva de PoR y la restricción monotónica a lo largo de toda la cadena. $PoC(\pi)$ se cumple si cada transición adyacente es válida.

Marco Teórico

El artículo formaliza la distinción entre Posesión y Continuidad utilizando un argumento de proyección:

• Las políticas basadas en la posesión se definen como funciones invariantes bajo el linaje: $A(o, r, \ell) = \bar{A}(o, r)$. Proyectan el espacio de eventos $E = O \times R \times L$ sobre $O \times R$, descartando la coordenada de linaje $L$.
• Teorema 3: Las políticas invariantes de linaje no pueden individualizar las ocurrencias. Dos eventos con privilegios idénticos pero diferentes linajes (uno autorizado, uno de delegado confundido) reciben el mismo veredicto de autorización.
• Teorema 5 (Compromiso/Trade-off): Un sistema no puede satisfacer simultáneamente:
  1. Autorización invariante de linaje.
  2. Delegación capaz de mezcla de autoridad (ejecutores que poseen fuentes de autoridad independientes).
  3. Seguridad contra el delegado confundido.
     Para garantizar la seguridad en sistemas que requieren mezcla de autoridad, el modelo debe renunciar a la invariancia de linaje, haciendo que la autorización sea sensible al linaje.

3. Contribuciones Clave

1. Prueba de Continuidad (PoC): Una disciplina mínima de propagación de autoridad donde la autoridad se define no como una propiedad estática de una entidad, sino como una propiedad temporal de una cadena de ejecución. La autoridad existe solo como una continuación no expansiva del contexto de origen.
2. Formalización del Delegado Confundido como un Desajuste de Linaje: El artículo redefine el delegado confundido no meramente como una separación de designación y autoridad (la visión espacial de las capacidades), sino como una colisión de distintos linajes bajo una proyección que olvida el tiempo.
3. Resultados de Imposibilidad:
   • Teorema 3: Demuestra que la posesión invariante de linaje no puede distinguir entre continuaciones válidas y ejecuciones de delegados confundidos.
   • Teorema 6: Demuestra que bajo el modelo PIC, la condición de delegado confundido es imposible de satisfacer como comportamiento válido. Si un privilegio está ausente del contexto de autoridad de origen $C_0$, no puede aparecer en ningún contexto subsecuente $C_n$ dentro de una cadena PoC válida.
4. Distinción de Primitivos: Clarifica los roles de:
   • Prueba de Posesión: Demuestra el control sobre un artefacto.
   • Prueba de Relación: Demuestra el vínculo causal entre pasos adyacentes.
   • Prueba de Continuidad: Demuestra la propagación de autoridad sin expansión a lo largo de todo el linaje.

4. Resultados y Garantías de Seguridad

El resultado principal es la seguridad del modelo PIC. Bajo la Prueba de Continuidad:

• Autoridad Limitada al Origen: Cualquier privilegio ejercido en el salto $n$ debe haber estado presente en el contexto de autoridad de origen $C_0$.
• Atenuación Irreversible: Si un privilegio se pierde en cualquier salto $j$ (es decir, no se incluye en $C_j$), se pierde para siempre y no puede reaparecer en ningún salto posterior $k > j$.
• Eliminación del Delegado Confundido: El modelo previene estructuralmente la condición de delegado confundido. Un ejecutor no puede ejercer un privilegio activado por una solicitud si dicho privilegio no fue autorizado en el contexto de origen de la solicitud, independientemente de otros privilegios que el ejecutor posea.

El artículo demuestra que esta seguridad se logra renunciando a la invariancia de linaje. Las decisiones de autorización deben leer la coordenada de linaje (mediante evidencia de PoR) para determinar si una acción es una continuación válida de la solicitud causante.

5. Significado y Alcance

El artículo posiciona a la Prueba de Continuidad como un refinamiento de modelado en lugar de un reemplazo para mecanismos existentes como OIDC, carteras (wallets) o tokens de portador.

• Complementariedad: Los mecanismos de identidad y autenticación siguen siendo esenciales para establecer el origen. La PoC aborda cómo la autoridad se propaga después de que el origen ha sido establecido.
• Relevancia para Agentes de IA: El modelo se destaca explícitamente como crítico para los agentes de IA, que a menudo poseen múltiples fuentes de autoridad (credenciales de servicio, tokens de usuario, alcances de herramientas) y ejecutan cadenas de invocación de herramientas. La PoC asegura que un agente no pueda usar una herramienta para realizar una acción (por ejemplo, eliminar un archivo) si la intención original del usuario (por ejemplo, resumir un documento) no autorizó dicha acción, incluso si el agente posee el privilegio de eliminación de forma independiente.
• Temporal vs. Espacial: El artículo argumenta que, si bien los modelos de capacidades resuelven el problema espacial de la designación, a menudo fallan en el problema temporal de la propagación de múltiples saltos, a menos que la capacidad se trate como un artefacto poseído (lo que revierte a la posesión). La PoC extiende la garantía "por construcción" de las capacidades a través de linajes de múltiples saltos al tratar la autoridad como un flujo continuo y no expansivo.

El artículo concluye que el delegado confundido no es una vulnerabilidad de tiempo de ejecución que deba parchearse, sino una imposibilidad estructural en una ejecución PIC válida. El modelo traslada la carga de la vigilancia en tiempo de ejecución a una disciplina donde la autoridad se define estrictamente por su historial causal.