Adel El-Atawy, Taghrid Samak, Zein Wali, Ehab Al-Shaer, Frank Lin, Christopher Pham, Sheng Li. An Automated Framework for Validating Firewall Policy Enforcement. In 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 13-15 June 2007, Bologna, Italy. pages 151-160, IEEE Computer Society, 2007. [doi]
Abstract is missing.