Communication Dans Un Congrès
Année : 2007
Véronique Cortier : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00181625
Soumis le : mercredi 24 octobre 2007-10:52:06
Dernière modification le : lundi 11 septembre 2023-17:41:18
Dates et versions
Identifiants
- HAL Id : inria-00181625 , version 1
Citer
Véronique Cortier, Eugen Zalinescu. Deciding key cycles for security protocols.. 3rd Workshop on Formal and Computational Cryptography - FCC 2007, Jul 2007, Venise, Italy. ⟨inria-00181625⟩
Collections
55
Consultations
0
Téléchargements