Modeling and Verifying eID Protocols (Future ID)

Almousa, Omar (PhD Student)
Mödersheim, Sebastian Alexander (Main Supervisor)
Lluch Lafuente, Alberto (Examiner)
Brucker, Achim D. (Examiner)
Sprenger, Christoph (Examiner)
Nielson, Hanne Riis (Supervisor)

Status	Finished
Effective start/end date	15/12/2012 → 24/02/2016

1 Ph.D. thesis

Security Protocols: Specification, Verification, Implementation, and Composition
Almousa, O., 2016, Kgs. Lyngby: Technical University of Denmark. 164 p. (DTU Compute PHD-2015; No. 391).
Research output: Book/Report › Ph.D. thesis

Open Access
File
1448 Downloads (Pure)