an open source solution for testing nat ' d and nested iptables firewalls .
Fang: a firewall analysis engine