Avishai Wool: Architecting the Lumeta Firewall Analyzer. USENIX Security Symposium 2001