TamarinAgent

UI de Revisión de IR de Protocolo Guiada por Confianza Este repositorio contiene una UI local con intervención humana para el modelado de protocolos de seguridad asistido por LLM. Admite el flujo de trabajo descrito en nuestro trabajo: IR de Protocolo Guiada por Confianza para el Modelado de...