Skip to main navigation
Skip to search
Skip to main content
Welcome to DTU Research Database Home
About DTU Orbit
Home
Profiles
Research units
Publications
Activities
Projects
Prizes
Press/Media
Datasets
Search by expertise, name or affiliation
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)
Overview
Fingerprint
Publications
(1)
Research output
Publications per year
2016
2016
2016
1
Ph.D. thesis
Publications per year
Publications per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Search 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
Security Protocol
100%
Protocol Specification
66%
Attack
66%
Formal Verification
33%
Simulation Mode
33%
1482
Downloads (Pure)