Ricardo Corin Gaetano Di Caprio Sandro Etalle Stefania Gnesi Gabriele Lenzini Corrado Moiso A Formal Security Analysis of an OSA/Parlay Authentication Interface. 131-146 2005 conf/fmoods/2005 FMOODS http://dx.doi.org/10.1007/11494881_9 db/conf/fmoods/fmoods2005.html#CorinCEGLM05