1. Denotational Semantics: A Methodology for Language Development;Schmidt,1997
2. Sugar: a CSP to SAT translator based on order encoding;Tamura,2008
3. Conflict classification and analysis of distributed firewall policies;Al-Shaer;IEEE J. Sel. Areas Commun.,2005
4. Complete redundancy detection in firewalls;Liu,2005
5. An implementation of anomaly detection mechanism for centralized and distributed firewalls;Chaure;Int. J. Comput. Appl.,2010