Communication Dans Un Congrès
Année : 2006
Véronique Cortier : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00108387
Soumis le : vendredi 20 octobre 2006-16:06:21
Dernière modification le : lundi 11 septembre 2023-17:41:18
Dates et versions
Identifiants
- HAL Id : inria-00108387 , version 1
Citer
Véronique Cortier, Eugen Zalinescu. Deciding key cycles for security protocols. Proc. of the 13th Int. Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'06), Nov 2006, Phnom Penh, Cambodia. ⟨inria-00108387⟩
Collections
37
Consultations
0
Téléchargements