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)

1 Ph.D. thesis

1 results

2016
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
1482 Downloads (Pure)