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