Validation of Security Properties in Network Systems

    Project Details

    StatusFinished
    Effective start/end date15/09/200505/05/2009

    Research Output

    • 1 Ph.D. thesis

    A Verifiable Language for Cryptographic Protocols

    Nielsen, C. R., May 2009, Kgs. Lyngby, Denmark: Technical University of Denmark. (IMM-PHD-2008-210).

    Research output: Book/ReportPh.D. thesisResearch

    Open Access
    File
    380 Downloads (Pure)