FIREMAN: a toolkit for firewall modeling and analysis
Discovery of policy anomalies in distributed firewalls