Projects per year
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.
|Place of Publication||Kgs. Lyngby, Denmark|
|Publisher||Technical University of Denmark|
|Publication status||Published - May 2009|
FingerprintDive into the research topics of 'A Verifiable Language for Cryptographic Protocols'. Together they form a unique fingerprint.
- 1 Finished
15/09/2005 → 05/05/2009