Timed analysis of security protocols

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

    Onderzoeksoutput: Boek/rapport › Rapport › Academic

    Originele taal-2Engels
    Plaats van productieEnschede
    UitgeverijUniversiteit Twente
    Aantal pagina's30
    StatusGepubliceerd - 2005

    Publicatie series

    NaamCTIT Technical Report
    VolumeTR-CTIT-05-14

    Andere bestanden en links

    Citeer dit