A Formal Security Analysis of an OSA/Parlay Authentication Interface

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

    Research output: Book/ReportReportProfessional

    2 Citations (Scopus)
    95 Downloads (Pure)

    Search results

    • 2005

      A Formal Security Analysis of an OSA/Parlay Authentication Interface

      Corin, R., Di Caprio, G., Etalle, S., Gnesi, S., Lenzini, G. & Moiso, C., Jun 2005, Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings. Steffen, M. & Zavattaro, G. (eds.). Berlin, Heidelberg: Springer, p. 131-146 16 p. (Lecture Notes in Computer Science; vol. 3535).

      Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

      Open Access
      File
      12 Downloads (Pure)