A general framework for benchmarking firewall optimization techniques
FIREMAN: a toolkit for firewall modeling and analysis