Jenuario, Tadeu, 		Otávio Chervinski, João, 		Paz, Giulliano, E 		Kreutz, Diego.
" Verificação Automática de Protocolos de Segurança com a ferramenta Scyther" <em>Anais da Escola Regional de Redes de Computadores (ERRC)</em> [Online], (16 setembro 2019)