A Sound Logic for Analysing Electronic Commerce Protocols.

Volker Kessler, Heike Neumann

Browse the full ESORICS paper archive.