Formal Network Models and Their Application to Firewall Policies by Achim D. Brucker, Lukas Brügger and Burkhart Wolff Jan 08