Fávero, A., & 		Weber, R.
2005 Sep 26.  Uma Metodologia para Verificação de Filtros de Pacotes. Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg). [Online] :