Fávero, André, and Raul Fernando Weber.
"Uma Metodologia para Verificação de Filtros de Pacotes." <em>Anais do V Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais,
Florianópolis, 2005</em>. SBC, 2005,  
pp.351-354.