Silva, B., 		Pereira, F., & 		Oliveira, L.
(2013).
 Uma Representação Intermediária para a Detecção de Vazamentos Implícitos de Informação.
In <em>Proceedings of the 13th Brazilian Symposium on Information and Computational Systems Security</em>, (pp. 212-225). Porto Alegre: SBC.
doi:10.5753/sbseg.2013.19547