The cpsa package: Symbolic cryptographic protocol analyzer

Discussion in 'other security issues & news' started by lotuseclat79, Jun 23, 2012.

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

    lotuseclat79 Registered Member

    Joined:
    Jun 16, 2005
    Posts:
    5,096
    The cpsa package dated May 24, 2012

    Note: Linux is the preferred platform for the source code. The cspa package is written in Haskell which would mandate a Haskell compiler to compile it.

    Link to source code: cpsa-2.2.9.tar.gz.

    -- Tom
     
Loading...
Thread Status:
Not open for further replies.