Automatic verification of conformance of firewall configurations to security policies.

Nihel Ben Youssef, Adel Bouhoula, Florent Jacquemard

Browse the full ISCC paper archive.