Repositório destinado ao projeto de análise de protocolos de segurança em prolog.