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)

1 Ph.D. thesis

1 results

2009
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 › Research

Open Access
File
458 Downloads (Pure)