Alain J. Mayer Avishai Wool Elisha Ziskind Fang: A Firewall Analysis Engine. 177-187 2000 IEEE Symposium on Security and Privacy http://computer.org/proceedings/s%26p/0665/06650177abs.htm db/conf/sp/sp2000.html#MayerWZ00