Using trace formulae for security protocol design

R.J. Corin, A. Durante, S. Etalle, P.H. Hartel

    Onderzoeksoutput: Boek/rapport › Rapport › Academic

    Originele taal-2Engels
    Plaats van productieEnschede
    UitgeverijUniversiteit Twente
    Aantal pagina's8
    StatusGepubliceerd - 2002

    Publicatie series

    NaamCTIT Technical Report
    VolumeTR-CTIT-02-36

    Andere bestanden en links

    Citeer dit