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: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    2 Citations (Scopus)
    4 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'A formal security analysis of an OSA/Parlay authentication interface'. Together they form a unique fingerprint.

    Computer Science