An improved constraint-based system for the verification of security protocols

R.J. Corin, S. Etalle

    Research output: Book/ReportReportAcademic

    43 Citations (Scopus)
    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversiteit Twente
    Number of pages16
    Publication statusPublished - 2002

    Publication series

    NameCTIT Technical Report
    VolumeTR-CTIT-02-27

    Cite this