@MISC\{IMM2005-04411,
    author       = "M. Buchholtz and C. R. Nielsen and H. R. Nielson and F. Nielson",
    title        = "LySaTool",
    year         = "2005",
    keywords     = "LySa, LySaTool",
    publisher    = "Informatics and Mathematical Modelling, Technical University of Denmark, {DTU}",
    address      = "Richard Petersens Plads, Building 321, {DK-}2800 Kgs. Lyngby",
    url          = "http://www2.imm.dtu.dk/cs_LySa/lysatool/",
    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."
}