PS-LTL for Constraint-based Security Protocol Analysis

R.J. Corin, Sandro Etalle, A. Saptawijaya

    Research output: Book/ReportReportProfessional

    3 Citations (Scopus)
    Original languageEnglish
    Place of PublicationEnschede
    PublisherINF-Centre for Telematics and Information Techn.
    Publication statusPublished - 2005

    Publication series

    NameCTIT Technical Report Series
    ISSN (Print)1381-3625

    Keywords

    • METIS-228779

    Cite this