Projects per year
Abstract
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 language | English |
---|
Place of Publication | Kgs. Lyngby, Denmark |
---|---|
Publisher | Technical University of Denmark |
Publication status | Published - May 2009 |
Series | IMM-PHD-2008-210 |
---|
Fingerprint
Dive into the research topics of 'A Verifiable Language for Cryptographic Protocols'. Together they form a unique fingerprint.Projects
- 1 Finished
-
Validation of Security Properties in Network Systems
Nielsen, C. R., Nielson, F., Fischer, P., Mycroft, A., Viganò, L. & Nielson, H. R.
15/09/2005 → 05/05/2009
Project: PhD