Modeling and Verifying eID Protocols (Future ID)

    Project Details

    StatusFinished
    Effective start/end date15/12/2012 → 24/02/2016
    View all
    View less

    Research Output

    • 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 › Research

    Open Access
    File
    807 Downloads (Pure)