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

  • R.H.A. Verhoeven

Student thesis: Master

Date of Award31 Aug 2007
Original languageEnglish
SupervisorF. Dechesne (Supervisor 1) & J.C.M. Baeten (Supervisor 2)

Cite this

Documents

  • full text

    File: application/pdf, 642 KB

    Type: Thesis

'