TITLE     : A formal security analysis of an OSA/Parlay authentication interface
AUTHOR(S) : Corin R, Di Caprio G, Etalle S, Gnesi S, Lenzini G, Moiso C
TYPE      : Journal article
YEAR      : 2005
CODE      : 43795

*** DO NOT EDIT THIS FILE ***