Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2009
Véronique Cortier : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00426617
Soumis le : mardi 27 octobre 2009-09:21:40
Dernière modification le : jeudi 1 février 2024-10:05:33
Dates et versions
Identifiants
- HAL Id : inria-00426617 , version 1
Citer
Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada. Formal to practical Security. Springer, 5458, pp.200, 2009, Lecture Notes in Computer Science, 978-3-642-02001-8. ⟨inria-00426617⟩
Collections
105
Consultations
0
Téléchargements