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

R.J. Corin, S. Etalle

    Onderzoeksoutput: Boek/rapportRapportAcademic

    43 Citaten (Scopus)
    Originele taal-2Engels
    Plaats van productieEnschede
    UitgeverijUniversiteit Twente
    Aantal pagina's16
    StatusGepubliceerd - 2002

    Publicatie series

    NaamCTIT Technical Report
    VolumeTR-CTIT-02-27

    Citeer dit