An Automated Framework for Validating Firewall Policy Enforcement. - Adel El-Atawy; Taghrid Samak; Zein Wali; Ehab Al-Shaer; Frank Lin; Christopher Pham; Sheng Li (POLICY, 2007)