Pavan Verma Atul Prakash FACE: A Firewall Analysis and Configuration Engine. 74-81 2005 conf/saint/2005 SAINT http://doi.ieeecomputersociety.org/10.1109/SAINT.2005.28 db/conf/saint/saint2005.html#VermaP05