USENIX 2005 Annual Technical Conference, FREENIX Track Abstract
Pp. 7181 of the Proceedings
A Tool for Automated IPtables Firewall Analysis
Robert Marmorstein and Phil Kearns, College of William and Mary
We describe ITVal, a tool that enables the efficient analysis of
an iptables-based firewall. The underlying basis of ITVal is a
library for the efficient manipulation of multi-way decision diagrams. We
represent iptables rule sets and queries about the firewall defined by
those rule sets as multi-way decision diagrams, and determine answers for
the queries by manipulating the diagrams. In addition to discussing the
design and implementation of ITVal, we describe how it can be used to
detect and correct common firewall errors.
- View the full text of this paper in HTML and PDF.
Until April 2006, you will need your USENIX membership identification in order to access the full papers. The Proceedings are published as a collective work, © 2005 by the USENIX Association. All Rights Reserved. Rights to individual papers remain with the author or the author's employer. Permission is granted for the noncommercial reproduction of the complete work for educational or research purposes. USENIX acknowledges all trademarks within this paper.
- If you need the latest Adobe Acrobat Reader, you can download it from Adobe's site.