Lihua Yuan Jianning Mai Zhendong Su Hao Chen Chen-Nee Chuah Prasant Mohapatra FIREMAN: A Toolkit for FIREwall Modeling and ANalysis. 199-213 2006 conf/sp/2006 IEEE Symposium on Security and Privacy http://doi.ieeecomputersociety.org/10.1109/SP.2006.16 db/conf/sp/sp2006.html#YuanMSCCM06