Automatic verification of conformance of firewall configurations to security policies.

Nihel Ben Youssef Adel Bouhoula Florent Jacquemard Automatic verification of conformance of firewall configurations to security policies. 526-531 2009 ISCC http://dx.doi.org/10.1109/ISCC.2009.5202309 conf/iscc/2009 db/conf/iscc/iscc2009.html#YoussefBJ09