Automatic Verification of Conformance of Firewall Configurations to Security Policies
Nihel Ben Youssef, Adel Bouhoula, Florent Jacquemard
In the proceedings of IEEE Symposium on Computers and Communications (ISCC), 2009
Recommended citation: Nihel Ben, Adel Bouhoula, Florent Jacquemard, "Automatic Verification of Conformance of Firewall Configurations to Security Policies" In the proceedings of IEEE Symposium on Computers and Communications (ISCC), 2009.