Jenuario, T., 		Otávio Chervinski, J., 		Paz, G., & 		Kreutz, D.
(2019).
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>, (pp. 172-177). Porto Alegre: SBC.
doi:10.5753/errc.2019.9233