Formal Network Models and Their Application to Firewall Policiesby Achim D. Brucker, Lukas Brügger and Burkhart Wolff08 Jan