Fávero, André, E 		Weber, Raul.
" Uma Metodologia para Verificação de Filtros de Pacotes" <em>Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg)</em> [Online], (26 setembro 2005)