Fávero, A., & 		Weber, R.
2005 set 26.  Uma Metodologia para Verificação de Filtros de Pacotes. Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg). [Online] :