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

Véronique Cortier (1) , Ralf Kuesters (2) , Bogdan Warinschi (3)

1 CASSIS - Combination of approaches to the security of infinite states systems
2 Institute of Theoretical Computer Science [Zurich]
3 Computer Science Department [Bristol]

Domaines: Cryptographie et sécurité [cs.CR]

Véronique Cortier, Ralf Kuesters, Bogdan Warinschi. A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols.. 3rd Workshop on Formal and Computational Cryptography - FCC 2007, Jul 2007, Venise, Italy. ⟨inria-00181622⟩