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

A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols. Véronique Cortier, Ralf Küsters, and Bogdan Warinschi. In 3rd Workshop on Formal and Computational Cryptography (FCC 2007), Venice, Italy, July 2007.

Download

(unavailable)

Abstract

(unavailable)

BibTeX

@InProceedings{CKW-FCC07,
  author = 	 {V\'eronique Cortier and Ralf K\"usters and Bogdan Warinschi},
  title = 	 {A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols},
  booktitle = {3rd Workshop on Formal and Computational Cryptography (FCC 2007)},
  year = 	 {2007},
  address = 	 {Venice, Italy},
  month = 	 {July},
}