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

Filter

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