@ARTICLE\{IMM2005-04327,
    author       = "C. Bodei and M. Curti and P. Degano and M. Buchholtz and M. Buchholtz and F. Nielson and F. Nielson and H. R. Nielson and H. R. Nielson and C. Priami and C. Priami",
    title        = "Performance Evaluation of Security Protocols Specified in LySa.",
    year         = "2005",
    month        = "apr",
    pages        = "167-189",
    journal      = "Electr. Notes Theor. Comput. Sci.",
    volume       = "112",
    editor       = "",
    number       = "",
    publisher    = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/4327-full.html"
}