Skip to main content
Conference ProceedingsOPEN ACCESS

Reasoning about firewall policies through refinement and composition

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2016) 9766 268-284
DOI: 10.1007/978-3-319-41483-6_19
2Citations
Citations of this article
2Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

An algebra is proposed for constructing and reasoning about anomaly-free firewall policies. Based on the notion of refinement as safe replacement, the algebra provides operators for sequential composition, union and intersection of policies. The algebra is used to specify and reason about iptables firewall policy configurations. A prototype policy management toolkit has been implemented.

Author supplied keywords

Cite

CITATION STYLE

APA

Neville, U., & Foley, S. N. (2016). Reasoning about firewall policies through refinement and composition. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9766, pp. 268–284). Springer Verlag. https://doi.org/10.1007/978-3-319-41483-6_19

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free