Cryptology ePrint Archive: Report 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.
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: ia.cr/2012/340
Discussion forum: Show discussion | Start new discussion
[ Cryptology ePrint archive ]