Jenuario, Tadeu, 		Otávio Chervinski, João, 		Paz, Giulliano, AND 		Kreutz, Diego.
" Verificação Automática de Protocolos de Segurança com a ferramenta Scyther" <em>Proceedings of the Regional School of Computer Networks (ERRC)</em> [Online], (16 September 2019)