Automated Analysis and Debugging of Network Connectivity Policies
Fang: a firewall analysis engine