Formal Specification and Analysis of Firewalls.

Mohamed Mejri, Kamel Adi, Hamido Fujita

Browse the full SoMeT paper archive.