Fávero, André, E Weber, Raul. " Uma Metodologia para Verificação de Filtros de Pacotes" Anais do Simpósio Brasileiro de Cibersegurança (SBSeg) [Online], (26 setembro 2005)