SILVA, Bruno R.; 						PEREIRA, Fernando M. Q.; 						OLIVEIRA, Leonardo B..
 Uma Representação Intermediária para a Detecção de Vazamentos Implícitos de Informação. <em>In</em>: SIMPÓSIO BRASILEIRO DE SEGURANÇA DA INFORMAÇÃO E DE SISTEMAS COMPUTACIONAIS (SBSEG), 13.	, 2013, Manaus.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2013
.
 p. 212-225. 
		DOI: <a href="https://doi.org/10.5753/sbseg.2013.19547">https://doi.org/10.5753/sbseg.2013.19547</a>.