Verification of security protocols
: tool support for update semantics

  • S. Nirmal

Student thesis: Master

Date of Award31 Aug 2005
Original languageEnglish
SupervisorErik P. de Vink (Supervisor 1) & S.M. Orzan (Supervisor 2)

Cite this

Documents

  • full text

    File: application/pdf, 447 KB

    Type: Thesis

'