1. Projection and division: linear space verification of firewalls;Acharya,2010
2. Firewall verification and redundancy checking are equivalent;Acharya,2011
3. Modeling and management of firewall policies;Al-Shaer;IEEE Trans. Netw. Service Manage.,2004
4. Network configuration in a box: Towards end-to-end verification of networks reachability and security;Al-Shaer,2009
5. Graph-based algorithms for boolean function manipulation;Bryant;IEEE Trans. Comput.,1986