An Integrated Framework for Automated Firewall Testing and Validation. - Abdeslam En-Nouaary; Mehdi Akiki (ITNG, 2010)