Article Dans Une Revue
Techniques de l'Ingénieur
Année : 2006
Véronique Cortier : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00108411
Soumis le : vendredi 20 octobre 2006-16:18:18
Dernière modification le : lundi 9 octobre 2023-16:50:48
Dates et versions
Identifiants
- HAL Id : inria-00108411 , version 1
Citer
Véronique Cortier. Protocoles cryptographiques : analyse par méthodes formelles. Techniques de l'Ingénieur, 2006. ⟨inria-00108411⟩
Collections
78
Consultations
0
Téléchargements