Descrição
Protocolos criptográficos podem ser analisados em um modelo formal antes da implementação ou implantação. Este verificador ajuda pesquisadores e engenheiros de segurança a modelar sigilo, autenticação e propriedades de protocolos. Resultados formais dependem das premissas do modelo e não substituem auditorias de implementação ou revisão de segurança operacional.