A Cryptographic Model for Branching Time Security Properties - The Case of Contract Signing Protocols.

Vronique Cortier, Ralf Ksters, Bogdan Warinschi

Browse the full ESORICS paper archive.