Fávero, A., & 		Weber, R.
(2005).
 Uma Metodologia para Verificação de Filtros de Pacotes.
In <em>Proceedings of the 5th Brazilian Symposium on Information and Computational Systems Security</em>, (pp. 351-354). Porto Alegre: SBC.
doi:10.5753/sbseg.2005.21556