Deciding Epistemic and Strategic Properties of Cryptographic Protocols.

Henning Schnoor

Published in: ESORICS (2012)

Keyphrases

cryptographic protocols
security properties
security protocols
standard model
information systems
response time
low cost
image quality