J. P. de Albuquerque, H. Krumm, and P. L. de Geus. Policy Modeling and Refinement for Network Security Systems. 6th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), IEEE Computer Society, pages 24-33, 2005. J. P. de Albuquerque, H. Isenberg, H. Krumm, and P. L. de Geus. Improving the Configuration Management of Large Network Security Systems. Ambient Networks: 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Proceedings, Springer-Verlag, volume 3775, pages 36-47, October 2005.