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 …

This dissertation describes a technique for formally analyzing a firewall security policy using
a quasi-reduced multiway decision diagram model. The analysis allows a system …

System administrators rely very heavily on firewalls for protection against external and
internal threats to the network. This reliance has led to the development of sophisticated and …

The task of configuring and updating a collection of firewalls has become so challenging
that, for many networks, the cost of maintaining the firewall is prohibitive. This cost derives …