Cryptology ePrint Archive: Report 2012/340

Available versions in chronological order

20120622:194938 (posted 22-Jun-2012 19:49:38 UTC): Deciding Epistemic and Strategic Properties of Cryptographic Protocols; Henning Schnoor; Publication Info: This is the full version of a paper accepted to ESORICS 2012 with the same name.

[ Cryptology ePrint archive ]