Fávero, André, and Raul Fernando Weber.
" Uma Metodologia para Verificação de Filtros de Pacotes." <em>Proceedings of the 5th Brazilian Symposium on Information and Computational Systems Security,
Florianópolis, 2005</em>. SBC, 2005,  
pp.351-354.