Visual analysis of complex firewall configurations. - Florian Mansmann; Timo Göbel; William R. Cheswick (VizSEC, 2012)