2007
An Automated Framework for Validating Firewall Policy Enforcement.
[DOI]
Adel El-Atawy
,
Taghrid Samak
,
Zein Wali
,
Ehab Al-Shaer
,
Frank Lin
,
Christopher Pham
,
Sheng Li
Proceedings of the 8th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2007), 2007