JENUARIO, Tadeu; 						OTÁVIO CHERVINSKI, João; 						PAZ, Giulliano; 						KREUTZ, Diego.
Verificação Automática de Protocolos de Segurança com a ferramenta Scyther. <em>In</em>: ESCOLA REGIONAL DE REDES DE COMPUTADORES (ERRC), 17.	, 2019, Alegrete.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2019
.
 p. 172-177. 
		DOI: <a href="https://doi.org/10.5753/errc.2019.9233">https://doi.org/10.5753/errc.2019.9233</a>.