@CONFERENCE\{IMM2005-03057,
    author       = "C. Bodei and M. Buchholtz and M. Curti and P. Degano and F. Nielson and H. Riis Nielson and C. Priami",
    title        = "Performance Evaluation of Security Protocols",
    year         = "2005",
    pages        = "167-189",
    booktitle    = "Proceedings of the 2nd Workshop on Quantitative Aspects of Programming Languages ({QAPL} 04)",
    volume       = "112",
    series       = "Electronic Notes in Theoretical Computer Science",
    editor       = "",
    publisher    = "Elsevier",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/3057-full.html",
    abstract     = "We use a special operational semantics which drives us in inferring quantitative measures on systems describing cryptographis cryptographic protocols. We assign rates to transitions by only looking at these labels. The rates reflect the distributed architecture running applications and the use of possibly different cryptosystems. We then map transition systems to Markov chains and evaluate performance of systems, using standard tools"
}