Automatic Verification of Firewall Configuration with Respect to Security Policy Requirements. - Soutaro Matsumoto; Adel Bouhoula (CISIS, 2008)