Security Protocols: Specification, Verification, Implementation, and Composition

Omar Almousa

Department of Applied Mathematics and Computer Science

Research output: Book/Report › Ph.D. thesis

1519 Downloads (Pure)

1 results

Filter

Finished
Modeling and Verifying eID Protocols (Future ID)
Almousa, O., Mödersheim, S. A., Lluch Lafuente, A., Brucker, A. D., Sprenger, C. & Nielson, H. R.
EU-finansieret
15/12/2012 → 24/02/2016
Project: PhD