T. Jenuario, J. Otávio Chervinski, G. Paz, and D. Kreutz.
" Verificação Automática de Protocolos de Segurança com a ferramenta Scyther", in <em>Anais da XVII Escola Regional de Redes de Computadores</em>, Alegrete, 2019, pp. 172-177, doi: <a href="https://doi.org/10.5753/errc.2019.9233">https://doi.org/10.5753/errc.2019.9233</a>.