@CONFERENCE\{IMM2005-03235,
    author       = "M. Buchholtz and C. Montangero and L. Perrone and S. Semprini",
    title        = "For-LySa: {UML} for Authentication Analysis",
    year         = "2005",
    pages        = "93-106",
    booktitle    = "Global Computing: {IST}/{FET} International Workshop, {GC} 2004",
    volume       = "3267",
    series       = "Lecture Notes in Computer Science",
    editor       = "",
    publisher    = "Springer Verlag",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/3235-full.html",
    abstract     = "The {DEGAS} project aims at enriching standard {UML-}centred development environments in such a way that the developers of global applications can exploit automated formal analyses with minimal overhead.  In this paper, we present For-LySa, an instantiation of the {DEGAS} approach for authentication analysis, which exploits an existing analysis tool developed for the process calculus LySa. We discuss what information is needed for the analysis, and how to build the {UML} model of an authentication protocol in such a way that the needed information can be extracted from the model. We then present our prototype implementation and report on some promising results of its use."
}