JESUS, Ygor Kiefer Follador de; MARTINELLO, Magnos; ZAMBON, Eduardo. DETOX: Detecção de Inconsistências na Política de Segurança Implementada em Firewall Real. In: WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF), 17. , 2016, Salvador/BA. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2016 . p. 63-76. ISSN 2595-2684. DOI: https://doi.org/10.5753/wtf.2016.22876.