A Tool for Automated Iptables Firewall Analysis
Graph-Based Algorithms for Boolean Function Manipulation