Article Dans Une Revue
Techniques de l'Ingénieur
Année : 2007
Pierre-Cyrille Heam : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00181761
Soumis le : mercredi 24 octobre 2007-14:29:57
Dernière modification le : lundi 9 octobre 2023-16:50:48
Citer
Yohan Boichut, Pierre-Cyrille Heam, Olga Kouchnarenko. Vérifier automatiquement les protocoles de sécurité. Techniques de l'Ingénieur, 2007, pp.1-9. ⟨10.51257/a-v1-re95⟩. ⟨inria-00181761⟩
Collections
121
Consultations
0
Téléchargements