Using Trace Formulae for Security Protocol Design

  • R.J. Corin
  • , A. Durante
  • , Sandro Etalle
  • , Pieter H. Hartel

    Research output: Book/ReportReportOther research output

    26 Downloads (Pure)
    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Publication statusPublished - Sept 2002

    Publication series

    NameCTIT technical reports series
    PublisherCentre for Telematics and Information Technology, University of Twente
    No.TR-CTI
    ISSN (Print)1381-3625

    Keywords

    • SCS-Cybersecurity
    • IR-63064
    • EWI-5858

    Cite this