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 verificationepistemic security properties
Contact author(s)
schnoor @ ti informatik uni-kiel de
History
2012-06-22: received
Short URL
https://ia.cr/2012/340
License
Creative Commons Attribution
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},
      note = {\url{https://eprint.iacr.org/2012/340}},
      url = {https://eprint.iacr.org/2012/340}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.