Verified iptables firewall analysis
Discovery of policy anomalies in distributed firewalls