A. Fávero and R. Weber.
" Uma Metodologia para Verificação de Filtros de Pacotes", in <em>Proceedings of the 5th Brazilian Symposium on Information and Computational Systems Security</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>.