Alain J. Mayer Avishai Wool Elisha Ziskind Offline firewall analysis. 125-144 2006 5 Int. J. Inf. Sec. 3 http://dx.doi.org/10.1007/s10207-005-0074-z db/journals/ijisec/ijisec5.html#MayerWZ06