A formal security analysis of an OSA/Parlay authentication interface

R.J. Corin, G. Di Caprio, S. Etalle, S. Gnesi, G. Lenzini, C. Moiso

Research output: Book/Report › Report › Academic

Name	CTIT Technical Report
Volume	TR-CTIT-05-62

Cite this

TY - BOOK

T1 - A formal security analysis of an OSA/Parlay authentication interface

AU - Corin, R.J.

AU - Di Caprio, G.

AU - Etalle, S.

AU - Gnesi, S.

AU - Lenzini, G.

AU - Moiso, C.

PY - 2005

Y1 - 2005

UR - http://www.ub.utwente.nl/webdocs/ctit/1/00000159.pdf

M3 - Report

T3 - CTIT Technical Report

BT - A formal security analysis of an OSA/Parlay authentication interface

PB - Universiteit Twente

CY - Enschede

ER -