Jenuario, T., 		Otávio Chervinski, J., 		Paz, G., & 		Kreutz, D.
2019 set 16.  Verificação Automática de Protocolos de Segurança com a ferramenta Scyther. Anais da Escola Regional de Redes de Computadores (ERRC). [Online] :