For-LySa: UML for Authentication Analysis. - Mikael Buchholtz; Carlo Montangero; Lara Perrone; Simone Semprini (Global Computing, 2004)