A. Fávero and R. Weber.
"Uma Metodologia para Verificação de Filtros de Pacotes", in <em>Anais do V Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais</em>, Florianópolis, 2005, pp. 351-354, doi: <a href="https://doi.org/10.5753/sbseg.2005.21556">https://doi.org/10.5753/sbseg.2005.21556</a>.