Proving correctness of a multi-party authentication protocol with rank functions

  • R.H.A. Verhoeven

Scriptie/Masterproef: Master

Datum prijs31 aug. 2007
Originele taalEngels
BegeleiderF. Dechesne (Afstudeerdocent 1) & J.C.M. Baeten (Afstudeerdocent 2)

Citeer dit

Documenten

  • full text

    Bestand: application/pdf, 642 KB

    Type: Scriptie

'