FIREMAN: a toolkit for firewall modeling and analysis
Firewall design: consistency, completeness, and compactness