Cryptology ePrint Archive: Report 2007/251
Available versions in chronological order
20070627:062953 (posted 27-Jun-2007 06:29:53 UTC)
A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols
V{\'e}ronique Cortier and Ralf K{\"u}sters and Bogdan Warinschi
Publication Info: full version of ESORICS 2007
20070629:074320 (posted 29-Jun-2007 07:43:20 UTC)
A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols
V{\'e}ronique Cortier and Ralf Kuesters and Bogdan Warinschi
Publication Info: full version of ESORICS 2007
[
Cryptology ePrint archive
]