Norbert Lehmann Reinhard Schwarz Jörg Keller FireCrocodile: A Checker for Static Firewall Configurations. 193-199 2006 conf/csreaSAM/2006 Security and Management db/conf/csreaSAM/csreaSAM2006.html#LehmannSK06