Verified iptables firewall analysis
A Tool for Automated Iptables Firewall Analysis