Paper 2012/340 Original: eprint.iacr.org/2012/340 ↗
Deciding Epistemic and Strategic Properties of Cryptographic Protocols
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
- Preprint.
- History
- 2012-06-22: last updated
- 2012-06-22: published
- Short URL
- https://ia.cr/2012/340
- License
- https://creativecommons.org/licenses/by/4.0/
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}
}