Verifying security protocols by combining static analysis and model checking

  • E. Teeselink

Student thesis: Master

Abstract

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

Cite this

Verifying security protocols by combining static analysis and model checking
Teeselink, E. (Author). 6 Oct 2010

Student thesis: Master