Yair Bartal Alain J. Mayer Kobbi Nissim Avishai Wool <i>Firmato</i>: A novel firewall management toolkit. 381-420 2004 22 ACM Trans. Comput. Syst. 4 http://doi.acm.org/10.1145/1035582.1035583 db/journals/tocs/tocs22.html#BartalMNW04