Security Protocol Validation Tool

Discussion in 'other security issues & news' started by lotuseclat79, Oct 25, 2005.

Thread Status:
Not open for further replies.
  1. lotuseclat79

    lotuseclat79 Registered Member

    Jun 16, 2005
    Automated analysis of security-sensitive protocols:

    “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:

    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
Thread Status:
Not open for further replies.