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,390
    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
     
    lotuseclat79, Jun 23, 2012
    #1
Thread Status:
Not open for further replies.
  1. This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
    By continuing to use this site, you are consenting to our use of cookies.
    Accept Learn More...