Validation of Security Properties in Network Systems

Nielsen, Christoffer Rosenkilde (PhD Student)
Nielson, Flemming (Supervisor)
Fischer, Paul (Examiner)
Mycroft, Alan (Examiner)
Viganò, Luca (Examiner)
Nielson, Hanne Riis (Main Supervisor)

Status	Finished
Effective start/end date	15/09/2005 → 05/05/2009

1 Ph.D. thesis

A Verifiable Language for Cryptographic Protocols
Nielsen, C. R., May 2009, Kgs. Lyngby, Denmark: Technical University of Denmark. (IMM-PHD-2008-210).
Research output: Book/Report › Ph.D. thesis

Open Access
File
513 Downloads (Pure)