Communication Dans Un Congrès
Année : 2002
Mathieu Turuani : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00103879
Soumis le : jeudi 5 octobre 2006-15:31:29
Dernière modification le : jeudi 1 février 2024-10:04:12
Dates et versions
Identifiants
- HAL Id : inria-00103879 , version 1
Citer
Mehdi Bouallagui, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron. Analyse Automatique de Protocoles de Sécurité avec CASRUL. Sécurité et Architecture Réseaux - SAR'2002, Jul 2002, Marrackech, Maroc, Morocco. ⟨inria-00103879⟩
Collections
135
Consultations
0
Téléchargements