Deciding Epistemic and Strategic Properties of Cryptographic Protocols

Henning Schnoor

Paper 2012/340

Deciding Epistemic and Strategic Properties of Cryptographic Protocols

Henning Schnoor

Abstract

We propose a new, widely applicable model for analyzing knowledge-based (epistemic) and strategic properties of cryptographic protocols. We prove that the corresponding model checking problem with respect to an expressive epistemic strategic logic is decidable. As corollaries, we obtain decidability of complex security properties including coercion-resistance of voting protocols, accountability of protocols using a trusted third party, and abuse-freeness of contract signing protocols.

Metadata

Available format(s): PDF
Category: Cryptographic protocols
Publication info: Published elsewhere. This is the full version of a paper accepted to ESORICS 2012 with the same name.
Keywords: protocol verification epistemic security properties
Contact author(s): schnoor @ ti informatik uni-kiel de
History: 2012-06-22: received
Short URL: https://ia.cr/2012/340
License: CC BY

BibTeX

@misc{cryptoeprint:2012/340,
      author = {Henning Schnoor},
      title = {Deciding Epistemic and Strategic Properties of Cryptographic Protocols},
      howpublished = {Cryptology {ePrint} Archive, Paper 2012/340},
      year = {2012},
      url = {https://eprint.iacr.org/2012/340}
}