Fávero, A., & Weber, R. (2005). Uma Metodologia para Verificação de Filtros de Pacotes. In Anais do V Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, (pp. 351-354). Porto Alegre: SBC. doi:10.5753/sbseg.2005.21556