The Community for Technology Leaders
2007 IEEE Symposium on Security and Privacy (SP '07) (2007)
Berkeley, California
May 20, 2007 to May 23, 2007
ISSN: 1081-6011
ISBN: 0-7695-2848-1
pp: 33-50
Charles C. Zhang , University of Illinois at Urbana-Champaign
Marianne Winslett , University of Illinois at Urbana-Champaign
Carl A. Gunter , University of Illinois at Urbana-Champaign
ABSTRACT
Firewall policy management is challenging and error-prone. While ample research has led to tools for policy specification, correctness analysis, and optimization, few researchers have paid attention to firewall policy deployment: the process where a management tool edits a firewall's configuration to make it run the policies specified in the tool. In this paper, we provide the first formal definition and theoretical analysis of safety in firewall policy deployment. We show that naive deployment approaches can easily create a temporary security hole by permitting illegal traffic, or interrupt service by rejecting legal traffic during the deployment. We define safe and most-efficient deployments, and introduce the shuffling theorem as a formal basis for constructing deployment algorithms and proving their safety. We present efficient algorithms for constructing most-efficient deployments in popular policy editing languages. We show that in certain widely- installed policy editing languages, a safe deployment is not always possible. We also show how to leverage existing diff algorithms to guarantee a safe, most- efficient, and monotonic deployment in other editing languages.
INDEX TERMS
Safety, Graphical user interfaces, Telecommunication traffic, Security, Law, Legal factors, Internet, Protection, Communication system traffic control, Network topology
CITATION

C. C. Zhang, M. Winslett and C. A. Gunter, "On the Safety and Efficiency of Firewall Policy Deployment," 2007 IEEE Symposium on Security and Privacy (SP '07)(SP), Berkeley, California, 2008, pp. 33-50.
doi:10.1109/SP.2007.32
303 ms
(Ver 3.3 (11022016))