Mohamed Mejri, Kamel Adi, Hamido Fujita. Formal Specification and Analysis of Firewalls. In Hamido Fujita, VladimÃr MarÃk, editors, New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eighth SoMeT 2009, September 23-25, 2009, Prague, Czech Republic. Volume 199 of Frontiers in Artificial Intelligence and Applications, pages 284-293, IOS Press, 2009. [doi]
Abstract is missing.