A Formal Security Analysis of an OSA/Parlay Authentication Interface. - Ricardo Corin; Gaetano Di Caprio; Sandro Etalle; Stefania Gnesi; Gabriele Lenzini; Corrado Moiso (FMOODS, 2005)