About:
ITVal is a decision-diagram based query engine for testing and verifying iptables firewalls. Because firewalls can be very complicated, it is often difficult to know whether your firewall is correctly configured to protect against various attacks. ITVal allows the system administrator to quickly and easily verify that the firewall setup satisfies a set of security properties expressed as queries. Queries are specified in a simple English-like language that is very easy to use. Advanced firewall techniques, such as NAT and stateful filtering, are supported.

Author:
Robert Marmorstein [contact developer]

Rating:	reset 1 2 3 4 5 6 7 8 9 10
(not rated)

Homepage:
http://sourceforge.net/projects/itval/
Tar/GZ:
http://downloads.sourceforge.net/itval/ITVal-1.0.tar.gz
Tar/BZ2:
http://downloads.sourceforge.net/itval/ITVal-1.0.tar.bz2
Changelog:
http://sourceforge.net/[..]es.php?group_id=136336&release_id=412991
RPM package:
http://downloads.sourceforge.net/itval/ITVal-1.0-0.i586.rpm
Bug tracker:
http://sourceforge.net/tracker/?group_id=136336

Trove categories: [change]

[Development Status]		5 - Production/Stable
[Intended Audience]		Advanced End Users, System Administrators
[License]		OSI Approved :: GNU General Public License (GPL)
[Operating System]		POSIX :: Linux, Unix
[Programming Language]		C++
[Topic]		System, System :: Networking :: Firewalls, System :: Systems Administration

Dependencies: [change]
bison (Default branch) (required)
iptables (Default branch) (required)
[download links]

 Branches

Branch	Version	Last release	License	URLs
Default	1.0	05-Feb-2007	GNU General Public License (GPL)