Capability-Mediated Perimeters for Secure AI Agent Tool Execution: Conditional Non-Escalation Invariants and Empirical Evaluation Against Indirect Prompt Injection
Este artículo presenta Mastyf Guard, una arquitectura de seguridad de prioridad determinista que trata a los agentes de LLM como sujetos no confiables y aplica invariantes de no escalada condicionales mediante un monitor de referencia externo, logrando una detección de ataques casi perfecta con cero falsos positivos en evaluaciones empíricas contra amenazas de inyección de prompts indirecta y exfiltración.
Artículo original bajo licencia CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo
En el mundo de la informática moderna, una regla fundamental ha mantenido los sistemas seguros durante mucho tiempo: las instrucciones que le dicen a una máquina qué hacer deben mantenerse separadas de los datos que la máquina procesa. Esta separación garantiza que un usuario no pueda engañar accidental o maliciosamente a una computadora para que ejecute comandos que no debía seguir. Sin embargo, el auza de los agentes de inteligencia artificial autónomos ha desdibujado esta línea. Estos agentes, diseñados para realizar tareas complejas como gestionar bases de datos o controlar dispositivos inteligentes, a menudo leen instrucciones y datos no confiables de internet, todo a la vez, en un único flujo de texto. Debido a que la computadora trata los datos y las instrucciones como parte de la misma mezcla, un atacante astuto puede ocultar un comando oculto dentro de un correo electrónico o una página web aparentemente inofensivos. Cuando el agente lee este contenido, puede obedecer sin saberlo el comando oculto, realizando acciones como eliminar archivos o robar contraseñas. Esta vulnerabilidad, conocida como inyección de prompts indirecta, convierte al agente en un delegado confundido que sigue órdenes que nunca pretendió recibir.
Investigadores de Mastyf AI Research Laboratories han propuesto una nueva forma de proteger a estos agentes, alejándose de la idea de que la propia inteligencia artificial puede ser el juez final de la seguridad. En lugar de confiar en que la IA reconozca todos los posibles trucos, el equipo construyó un sistema de seguridad que actúa como un estricto guardián antes de que se tome cualquier acción. Lo llaman Mastyf Guard. Opera bajo un principio simple pero poderoso: la IA tiene permitido pensar y razonar, pero se le despoja del poder de actuar por su cuenta. Cada vez que la IA sugiere una herramienta para usar, como enviar un correo electrónico o acceder a un servidor, un monitor de seguridad independiente y separado verifica la solicitud. Este monitor no intenta adivinar la intención de la IA; en su lugar, verifica una lista digital de permisos, de forma muy similar a un portero que revisa la lista de invitados en un club. Si la acción solicitada no está explícitamente permitida para esa sesión específica, la solicitud se bloquea de inmediato, independientemente de lo convincente que sea el razonamiento de la IA.
Los investigadores probaron este enfoque contra una colección masiva de cincuenta mil escenarios, la mitad de los cuales eran ataques realistas diseñados para engañar a los agentes, y la otra mitad eran operaciones normales y seguras realizadas por desarrolladores. Los resultados mostraron que su sistema podía detener la gran mayoría de los ataques casi instantáneamente. En los casos más rápidos, la verificación de seguridad tomó solo cinco milésimas de segundo, una velocidad tan rápida que es casi imperceptible para un usuario humano. El sistema identificó y bloqueó con éxito el 99.33 por ciento de los ataques, una mejora significativa respecto a las herramientas de seguridad existentes que a menudo pasan por alto más de la mitad de estos trucos sutiles. Crucialmente, el sistema hizo esto sin necesidad de chips de computadora costosos y de alta potencia, funcionando eficientemente en procesadores de computadora estándar con una huella de memoria de solo 1.1 gigabytes. Esto significa que la protección podría desplegarse en entornos de oficina cotidianos sin requerir hardware especializado.
Para entender cómo funciona esto, imagine al agente de IA como un empleado altamente capacitado pero fácilmente distraído que ha recibido una llave maestra de todo el edificio. Si un extraño susurra una instrucción falsa al oído del empleado, el empleado podría usar esa llave maestra para abrir una puerta que no debería. El sistema Mastyf Guard le quita la llave maestra del bolsillo al empleado por completo. En su lugar, el empleado debe pedir permiso a un guardia de seguridad cada vez que quiera abrir una puerta. El guardia no escucha la historia del empleado ni intenta interpretar su tono; el guardia simplemente verifica una lista estricta de qué puertas tiene el empleado permitido abrir en ese momento. Si la solicitud no está en la lista, la puerta permanece cerrada. Este enfoque resuelve el problema del "delegado confundido" al asegurar que, incluso si la IA es engañada para pedir algo incorrecto, el sistema simplemente no puede hacerlo porque carece de la autoridad.
Los investigadores también abordaron un problema más sutil: ¿qué sucede cuando la IA tiene permitido usar una herramienta, pero intenta cambiar los detalles de la solicitud para causar daño? Por ejemplo, una IA podría estar autorizada para enviar un correo electrónico, pero un atacante podría engañarla para que envíe ese correo a una dirección diferente o con un asunto diferente. Para manejar esto, el equipo añadió una segunda capa de defensa que actúa como un corrector de pruebas cuidadoso. Esta capa verifica los detalles específicos de la solicitud contra el permiso original. Si la IA intenta enviar dinero a una cuenta nueva o acceder a un archivo que no debía tocar, el sistema detecta el cambio. En pruebas que involucraron tres mil escenarios comerciales complejos, esta combinación de verificaciones de permisos estrictos y corrección de detalles detectó el 97.5 por ciento de los ataques manteniendo una tasa de falsos positivos de cero por ciento, con un límite superior estadístico de 0.19% a través de 2,000 operaciones empresariales benignas. El sistema fue tan preciso que, en dos mil operaciones comerciales normales, no generó ni una sola falsa alarma.
Uno de los hallazgos más significativos del estudio es que el sistema no necesita ser una IA superinteligente para ser efectivo. Los investigadores encontraron que un programa informático pequeño y especializado podía manejar la gran mayoría de las verificaciones de seguridad en microsegundos, recurriendo a un modelo de IA más grande y complejo solo cuando una solicitud era ambigua o sospechosa. Este enfoque híbrido mantiene el sistema rápido y económico de ejecutar. En el tráfico comercial de rutina, el modelo de IA complejo nunca fue necesario, permitiendo que el sistema operara a la velocidad de las verificaciones rápidas y simples. Cuando el sistema sí necesitó llamar al modelo más grande para investigar una solicitud truculenta, tomó unos dieciocho milisegundos, lo cual sigue siendo lo suficientemente rápido para la mayoría de las aplicaciones en tiempo real. Este diseño asegura que la seguridad no venga a costa de la velocidad o la usabilidad, permitiendo a las empresas utilizar agentes de IA potentes sin ralentizar su trabajo diario.
El estudio también exploró cómo prevenir que los datos se filtren fuera del sistema a través de una cadena de herramientas autorizadas. Incluso si un atacante no puede obligar a la IA a usar una herramienta prohibida, podría intentar mover información sensible de una herramienta permitida a otra, extrayendo efectivamente los datos. Bajo las comprobaciones de capacidad estándar por sí solas, los investigadores encontraron que los atacantes podrían extraer datos con éxito en una parte significativa de los casos de prueba al mover información entre herramientas autorizadas. Para detener esto, los investigadores implementaron un sistema de seguimiento que sigue el flujo de la información, de manera similar a cómo un banco rastrea el movimiento de efectivo para asegurar que no desaparezca. Este sistema marca los datos sensibles, como contraseñas o registros financieros, y asegura que estos datos solo puedan moverse a destinos que estén explícitamente autorizados para recibirlos. En pruebas que involucraron más de mil intentos de robo de datos utilizando este método específico de seguimiento, el sistema bloqueó cada uno de los intentos, asegurando que la información sensible no pudiera moverse a una ubicación no autorizada.
Si bien el sistema mostró un éxito notable, los investigadores fueron cuidadosos al señalar sus límites. Las garantías de seguridad dependen de la suposición de que el monitor de seguridad mismo se está ejecutando en una computadora confiable y no ha sido hackeado. Si el monitor es comprometido, todo el sistema falla. Además, aunque el sistema es excelente para detener ataques que intentan usar herramientas de maneras no autorizadas, no es perfecto para detectar cada variación posible de un truco, particularmente aquellos que involucran maniobras complejas de múltiples pasos diseñadas para confundir al sistema. Los investigadores identificaron un pequeño número de casos donde su sistema fue evadido, involucrando principalmente trucos financieros muy específicos o disfraces de nombres de dominio, y ya han propuesto actualizaciones para solucionar estas brechas. Describen su trabajo como una arquitectura de preproducción, lo que significa que está lista para ser probada en entornos del mundo real, pero aún requiere validación adicional por parte de expertos independientes antes de que pueda considerarse un producto comercial final.
Las implicaciones de este trabajo se extienden más allá de solo hacer la IA más segura; cambia la forma en que pensamos en la construcción de sistemas inteligentes. Al tratar a la IA como un componente potencialmente desconfiable que debe ser supervisado constantemente, en lugar de un socio confiable que puede vigilarse a sí mismo, los investigadores han creado un marco que es mucho más difícil de romper. Este cambio de perspectiva permite el uso de agentes autónomos potentes en entornos sensibles como hospitales, bancos y oficinas gubernamentales, donde el costo de un error es alto. El sistema demuestra que la alta seguridad no requiere sacrificar la velocidad ni requerir hardware costoso, lo que lo convierte en una solución práctica para el futuro de la inteligencia artificial. A medida que estos agentes se vuelvan más comunes en nuestra vida diaria, la capacidad de separar el pensamiento de la acción, y de imponer reglas estrictas sobre qué acciones están permitidas, será esencial para mantener nuestro mundo digital seguro.
Los investigadores pusieron sus herramientas y datos a disposición del público, permitiendo que otros científicos prueben y mejoren su trabajo. Liberaron el código del monitor de seguridad y los modelos de IA entrenados, invitando a la comunidad global a encontrar debilidades y sugerir mejoras. Esta apertura es una parte crítica del proceso científico, asegurando que el sistema no sea solo una idea teórica, sino una herramienta práctica que puede ser escrutada y refinada. El estudio concluye que, combinando reglas deterministas estrictas con controles inteligentes y flexibles, es posible construir un entorno seguro para agentes autónomos. El camino a seguir implica continuar probando estos sistemas en escenarios del mundo real, refinando las reglas para capturar nuevos tipos de trucos y asegurando que la tecnología permanezca robusta a medida que las amenazas evolucionan. El trabajo representa un paso significativo hacia hacer de la promesa de la IA autónoma una realidad segura y confiable para todos.
¿Ahogado en artículos de tu campo?
Recibe resúmenes diarios de los artículos más novedosos que coincidan con tus palabras clave de investigación — con resúmenes técnicos, en tu idioma.