ITVal - Engine for Testing and Verifying IPtables Firewalls
File Size:
KB
Developer:
Description:
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.
