Access Restriction

Author Zhang, Charles C. ♦ Winslett, Marianne ♦ Gunter, Carl A.
Source CiteSeerX
Content type Text
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Safe Deployment ♦ Diff Algorithm ♦ Theoretical Analysis ♦ Naive Deployment Approach ♦ Most-efficient Deployment ♦ Temporary Security Hole ♦ Deployment Algorithm ♦ Ample Research ♦ Monotonic Deployment ♦ First Formal Definition ♦ Policy Specification ♦ Certain Widelyinstalled Policy ♦ Present Efficient Algorithm ♦ Legal Traffic ♦ Illegal Traffic ♦ Correctness Analysis ♦ Policy Management ♦ Policy Deployment ♦ Interrupt Service ♦ Management Tool ♦ Firewall Policy Deployment ♦ Firewall Configuration ♦ Popular Policy ♦ Formal Basis
Description 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 widelyinstalled policy editing languages, a safe deployment is not always possible. We also show how to leverage existing diff algorithms to guarantee a safe, mostefficient, and monotonic deployment in other editing languages. 1
In SP ’07: Proceedings of the 2007 IEEE Symposium on Security and Privacy
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 2007-01-01