Alan Jeffrey, Taghrid Samak. Model Checking Firewall Policy Configurations. In POLICY 2009, IEEE International Symposium on Policies for Distributed Systems and Networks, London, UK, 20-22 July 2009. pages 60-67, IEEE Computer Society, 2009. [doi]
Abstract is missing.