Communication Dans Un Congrès
Année : 2007
Véronique Cortier : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00181622
Soumis le : mercredi 24 octobre 2007-10:50:55
Dernière modification le : vendredi 22 novembre 2024-16:52:03
Dates et versions
Identifiants
- HAL Id : inria-00181622 , version 1
Citer
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⟩
Collections
77
Consultations
0
Téléchargements