Using Trace Formulae for Security Protocol Design

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

    Research output: Book/ReportReportOther research output

    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Publication statusPublished - Sep 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