LySaTool | Mikael Buchholtz, Christoffer Rosenkilde Nielsen, Hanne Riis Nielson, Flemming Nielson
| | Abstract | 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. | | Keywords | LySa, LySaTool | | Type | Software | | Year | 2005 | | Publisher | Informatics and Mathematical Modelling, Technical University of Denmark, DTU | | Address | Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby | | Publication link | http://www2.imm.dtu.dk/cs_LySa/lysatool/ | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|