A Verifiable Language for Cryptographic Protocols

Christoffer Rosenkilde Nielsen

    Research output: Book/ReportPh.D. thesisResearch

    458 Downloads (Pure)


    We develop a formal language for specifying cryptographic protocols in a structured and clear manner, which allows verification of many interesting properties; in particular confidentiality and integrity. The study sheds new light on the problem of creating intuitive and human readable languages, that are analysable with respect to interesting properties. Furthermore it motivates and is an example of, a novel, more general methodology of language design by first verbosely describing the semantics in a mathematical language, e.g. a logic, then restricting the properties of interest to be computable, and finally systematically transforming it into a more intuitive specification language, maintaining this tractability.
    Original languageEnglish
    Place of PublicationKgs. Lyngby, Denmark
    PublisherTechnical University of Denmark
    Publication statusPublished - May 2009


    Dive into the research topics of 'A Verifiable Language for Cryptographic Protocols'. Together they form a unique fingerprint.

    Cite this