verifpal

Analisa modelos de protocolos criptográficos para desenho de segurança real. Engenheiros escrevem modelos Verifpal e executam verificações pelo terminal; premissas do modelo, escopo de ameaças e relatórios gerados devem ser revisados antes de confiar nos resultados.