Accéder directement au contenu

Claude Kirchner

1
Documents
Identifiants chercheurs

Présentation

Publications

830860

Formal to practical Security

 Véronique Cortier , Claude Kirchner , Mitsuhiro Okada , Hideki Sakurada
Springer, 5458, pp.200, 2009, Lecture Notes in Computer Science, 978-3-642-02001-8
Ouvrages inria-00426617v1