The Margrave Tool for Firewall Analysis. - Timothy Nelson 001; Christopher Barratt; Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (LISA, 2010)