Cryptology ePrint Archive: Report 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.

Category / Keywords: cryptographic protocols / protocol verification, epistemic security properties

Publication Info: This is the full version of a paper accepted to ESORICS 2012 with the same name.

Date: received 14 Jun 2012

Contact author: schnoor at ti informatik uni-kiel de

Available format(s): PDF | BibTeX Citation

Version: 20120622:194938 (All versions of this report)

Short URL:

Discussion forum: Show discussion | Start new discussion

[ Cryptology ePrint archive ]