Verifying

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... Platforms: *nix

Secure your data exchanges and transfers with digitally signed files!This is a tool for quickly digitally signing or verifying text or files with Public-Key-Encryption with RSA encryption algorithm (RSAES-OAEP).Key length for signing up to 7120 bit. Keys are compatible with CommuniCrypt Standard... Platforms: Windows

Test anything that replies on a ping (ICMP). This little stay on top application is a handy tool for the helpdesk verifying that computers and other equipment are connected and online. Desktop Pinger don't require installation, just copy it to a suitable folder and start using it right away.... Platforms: Windows

This is our implementation of the famous MD5 algorithm, and presents an easy and highly secure way of verifying the integrity of files. Single-line text, multi-line text and file contents are all supported inputs.Software is often accompanied by an MD5 'hash' (or 'checksum').... Platforms: Windows

XCSV is an small freeware utility for verifying integrity of files by using previously generated checksum files. The supported algorithms include CRC32 (Cyclic Redundancy Code), MD5 (Message Digest number 5) and SHA-1 (Secure Hash Algorithm). The supported checksum files formats include SFV... Platforms: Windows

MoreMotion XML Editor (mmEd), developed for editing and verifying XML structured files used in MoreMotion projects, is an easy-to-use XML Editor for both beginners and professionals. Platforms: Windows

The RPM Package Manager also know as RPM is a powerful command line driven package management system capable of installing, uninstalling, verifying, querying, and updating computer software packages. Each software package consists of an archive of files along with information about the package... Platforms: *nix

Metasploit Pro will provide user swith a suite of tools that will help enterprise defenders prevent data breaches by efficiently prioritizing vulnerabilities, verifying controls and mitigation strategies, and conducting real-world, collaborative, broad-scope penetration tests to improve your... Platforms: Windows, 2003, Windows Vista, XPX64, 2008, 7, 7x64

Lobby Track Standard is a reliable software built for monitoring, verifying and tracking every visitors or groups of people. Visitor management software for visitor registration, tracking, and reporting. Pre-register visitors online or register onsite. Issue visitor badges. Maintain visit logs.... Platforms: Windows, XP, 2003, Windows Vista, 7, 7x64

EZ-Access is an audit tool verifying website conformance to the WCAG 1.0 guidelines and acting as a visual deficiency simulator (color blindness, blurred vision,...), enabling web developers to find accessibility issues. Platforms: Windows, Mac, Linux

The Java Message Service Compliance Test Suite (JMS CTS) is a test harness for verifying the compliance of Java Message Service (JMS) implementations with the JMS specification. Platforms: Windows, Mac, Linux

RPM Package Manager (RPM) is a powerful package management system capable of installing, uninstalling, verifying, querying, and updating software packages.This is a port of the RPM software, including rpmbuild and yum/APT-RPM, to Darwin and Mac OS X Platforms: Mac

The script converts an existing check box to an image check box. The image check box has images for the true and false conditions. The true or false conditions are reflected in a 'real' check box.Standard techniques can be employed when verifying and submitting the form. Platforms: JavaScript

Verifying and validating embedded systems comprising software and electronics is a daunting challenge, given the increasing complexity of these systems and the need to meet tight schedules. Aerospace, automotive, communications, mechatronics, and other organizations solve this challenge by... Platforms: Matlab

The files contained in this zip fileserve as an introduction to using RTDX technology from Texas Instruments with Simulink for the purpose of verifying that that your Simulink simulation is running the same way as your DSP implementation. You will need R2006a+ or greater. R2006a will not... Platforms: Matlab

m and .mdl files to reproduce figures in the book, Feedback Control of Dynamic Systems, 5th Ed., Prentice-Hall, 2006Featuring a brand new chapter on nonlinear systems, this revision of the best-selling textbook on feedback control has been recognized for even greater instructor flexibility and... Platforms: Matlab

For many embedded software projects, the primary verification goal is to find as many bugs as possible, as quickly as possible. The static analysis tools commonly used for this purpose are good at detecting flaws, but they do not prove that no errors remain in the source code. As a result, these... Platforms: Matlab

Welcome to PictSync -- For now the docs are, well, pretty thin but that should change soon. Beta Testers: At this point here is what I???*a*?m looking for in terms of test 1. Link this to your flickr account and make sure you have the correct iPhoto library in preferences (it defaults to the... Platforms: Mac

Just when developers are starting to run in circles over Cross Site Scripting, the 'sleeping giant' awakes for yet another web-catastrophe. Cross-Site Request Forgery (CSRF) is an attack whereby the victim is tricked into loading information from or submitting information to a web application for... Platforms: Mac

This module implements an import hook for verifying Python modules before they are loaded, by means of cryptographically-signed hashes. It is compatible with PEP 302 and designed to complement the code-signing functionality of your host OS (e.g. Microsoft Authenticode, Apple OSX Code Signing)... Platforms: *nix