Mikael Buchholtz, Carlo Montangero, Lara Perrone, Simone Semprini. For-LySa: UML for Authentication Analysis. In Corrado Priami, Paola Quaglia, editors, Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers. Volume 3267 of Lecture Notes in Computer Science, pages 93-106, Springer, 2004. [doi]
Abstract is missing.