André Fávero and Raul Weber. 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>, September 26, 2005, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 351-354. DOI: <a href="https://doi.org/10.5753/sbseg.2005.21556">https://doi.org/10.5753/sbseg.2005.21556</a>.