Verifying security protocols by combining static analysis and model checking

  • E. Teeselink

Student thesis: Master

Date of Award6 Oct 2010
Original languageEnglish
SupervisorHanne Riis Nielson (Supervisor 1) & A.H.J. Mathijssen (Supervisor 2)

Cite this

Documents

  • full text

    File: application/pdf, 1.74 MB

    Type: Thesis

'