ITVal 1.0

Date Added: August 19, 2010 | Visits: 967

Report Broken Link
Printer Friendly Version

Product Homepage
Download (93 downloads)

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.. Get ITVal at SourceForge.net. Fast, secure and free downloads from the largest Open Source applications and software directory. ITVal is an analysis tool for evaluating iptables firewall systems. It provides an easy way for a system administrator to verify that his firewall provides the protection he thinks it does. ITVal can analyze multiple NAT'd firewalls connected serially.

Requirements: No special requirements

Platforms: Linux

Keyword: Based, Engine, Iptables, Itval, Query, System, System Administration, Testing, Verifying

Users rating: 0/10

License: Freeware

Size: 686.08 KB

USER REVIEWS

More Reviews or Write Review

ITVAL RELATED

Network & Internet - PHP System Administration Toolkit 1.0 RC1(ooLDAP) PHP System Administration Toolkit is a toolkit/framework for the rapid development of system administration Web interfaces in PHP. PHP System Administration Toolkit will provide easy access to, for example, LDAP/xSQL servers.. Get SAT - PHP System...	9.22 KB
Development Tools - SMARTY: A Vision Based Autonomous Ball Sorting Robotic System 1.0 This project deals with an autonomous mobile robot guided by a vision system for sorting objects based on their color. The system has autonomous mode, assistive mode and manual mode. In the autonomous mode the robot and the vision system (an...	30.72 KB
Utilities - Arusha Project 20040529 The Arusha Project (ARK) seeks to provide a framework and/or tools for collaborative system administration of multi-platform Unix sites with many dozens of machines. The core ARK developers are interested in using the Arusha Project as a...	266.24 KB
Utilities - Sabayon 2.19.2 Sabayon is a system administration tool to manage GNOME desktop settings. Sabayon provides a sane way to edit GConf defaults and GConf mandatory keys: the same way you edit your desktop. Sabayon launches profiles in an Xnest window. Any...	819.2 KB
Utilities - Kharon Firewall 0.2 Kharon Firewall is a shell script based on Iptables and written for Linux 2.4.x and 2.6.x.It can be used for a personnal or a professionnal usage and fully commented on in french.	20.48 KB
3D Graphic Tools - Virtual Object System 0.23.0 The Interreality project is a collection of Open Source, Free Software projects based on the Virtual Object System (VOS) platform. Virtual Object System projects goal is to develop a open platform for multi-user 3D virtual reality games,...	2.7 MB
Modules - Linkflora affiliate system module 1.01 This module is for people who own a website based on the Joomla CMS system and would like to gain additional profits. We welcome you to join our affiliate system and earn 15% commission from every sale made by a customer that is transferred to us...	10 KB
Utilities - Nagios Automated Configuration Engine 0.4 NACE is a generic query engine used to automatically create host and service definitions for hosts on the network. It is intended to be used in a shell script at regular intervals by an experienced Nagios administrator to perform a query against...	24.58 KB
Utilities - Yet Another LDAP Administrator 0.32 YALA is a web-based LDAP administration GUI. The idea is to simplify the directory administration with a graphical interface and neat features, though to stay a general-purpose program (unlike some LDAP browsers written specifically for managing...	65.54 KB
Science - EGADSS Decision Support System 1.0 Evidence-based Guideline and Decision Support System. Provides patient specific point of care reminders in order to aid physicians provide high quality care. Input/output in the form of HL7 CDA Level 2 documents. Knowledge is encoded using Arden...	745 KB

NEW DOWNLOADS IN LINUX SOFTWARE, UTILITIES

Linux Software - EasyEDA PCB Designer for Linux 2.0.0 EasyEDA, a great web based EDA(Electronics Design Automation) tool, online PCB tool, online PCB software for electronics engineers, educators, students, makers and enthusiasts. Theres no need to install any software. Just open EasyEDA in any...	34.4 MB
Linux Software - wpCache® WordPress HTTP Cache 1.9 wpCacheÂ® is a high-performance, distributed object, caching system application, generic in nature, but intended for use in speeding up dynamic web applications, by decreasing database load time. wpCacheÂ® decreases dramatically the page...	3.51 MB
Linux Software - Polling Autodialer Software 3.4 ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....	488 B
Linux Software - Total Video Converter Mac Free 3.5.5 Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...	17.7 MB
Linux Software - Skeith mod_log_sql Analyzer 2.10beta2 Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.	47.5 KB
Utilities - Nessconnect 1.0.2 Nessconnect is a GUI, CLI and API client for Nessus and Nessus compatible servers. With an improved user interface, it provides local session management, scan templates, report generation through XSLT, charts and graphs, and vulnerability trending.	819.2 KB
Utilities - Dynamic Power Management 2.6.16 The Dynamic Power Management (DPM) project explores technologies to improve power conservation capabilities of platforms based on open source software. Of particular interest are techniques applicable to running systems, adjusting power parameters...	30.72 KB
Utilities - Ethernet bridge tables 2.4.37.9 Ethernet bridge tables - Linux Ethernet filter for the Linux bridge. The 2.4-ebtables-brnf package contains the ebtables+bridge-nf patch. Be sure to check out the ebtables hp. This site also contains the arptables userspace tool.	40.96 KB
Utilities - SaraB 1.0.0 SaraB works with DAR (Disk ARchive) to schedule and rotate backups on random-access media (i.e. hard drives, CDs, DVDs, Zip, etc. Basically anything except magnetic tapes.) This reduces hassle for the administrator by providing an automatic backup...	20.48 KB
Utilities - Command Not Found 0.2.41 Command Not Found is a program that uses a cache of existing programs and their associated packages to aid users in their day-to-day command-line work. Usage: command-not-found [options] Options: ...	30.72 KB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts