Descrição
Fornece suporte de biblioteca para processos de entrada no cálculo SAPIC para o Tamarin prover. SAPIC é usado para descrever processos de protocolos de segurança para análise formal.
É útil para pesquisadores e desenvolvedores de ferramentas que modelam protocolos de segurança com o Tamarin. É um componente de biblioteca especializado e normalmente é usado como parte da pilha de verificação do Tamarin.