LySatool

The LySatool is an automated tool for verifying security properties of protocols that use cryptography to protect network communication from tampering by malicious parties. Protocols modelled in the process calculus LySa are input to the tool. The LySatool makes a fully automated program analysis that can guarantee confidentiality and authentication properties.

Software

Documents

Comments are much welcomed and should be sent to Christoffer Rosenkilde Nielsen

 

Last updated October 11, 2006