Descrição
Fornece suporte de biblioteca relacionado a accountability para o Tamarin prover. O Tamarin é usado para modelar e analisar protocolos de segurança, e recursos de accountability ajudam a raciocinar sobre responsabilidade no comportamento do protocolo.
É útil para pesquisadores e desenvolvedores que trabalham com verificação formal de protocolos de segurança. É um componente de biblioteca especializado e não uma interface completa do provador por si só.