Descrição
Fornece tipos de protocolos de segurança e suporte de resolvedor de restrições para o Tamarin prover. Essas partes ajudam a representar teorias e resolver restrições que surgem durante análise simbólica de protocolos.
É útil para pesquisadores, engenheiros de verificação e desenvolvedores de ferramentas que trabalham com provas formais de segurança. É um componente de biblioteca especializado e depende do ecossistema Tamarin mais amplo.