Security Protocol Validation Tool

Automated analysis of security-sensitive protocols:
http://www.physorg.com/news7554.html

“The AVISPA software tool enables a security protocol designer to input the protocol and the language he/she wishes to use, then feeds back information on this protocol including any known bugs or security weaknesses.”

The project finished in July 2005 with the release of the AVISPA tool, which is a simple software application that runs on a PC or via a Web interface. It can be accessed online, and offers both a Basic and an Expert mode.

Automated Validation of Internet Security Protocols and Applications (AVISPA) University of Genoa and Siemans project (freeware tool, must register, a quick scan of the license indicates part of it GNU):
AVISPA v1.0 tool: http://www.avispa-project.org/download.html

Note: Siemans has already used and found a vulnerability in one of its own protocols and made a revision accordingly.

So, if you are a protocol designer or just like to play with protocol designs, then this is the tool for you!

-- Tom