Books
Year : 2009
Véronique Cortier : Connect in order to contact the contributor
https://inria.hal.science/inria-00426617
Submitted on : Tuesday, October 27, 2009-9:21:40 AM
Last modification on : Tuesday, September 12, 2023-3:54:50 AM
Dates and versions
Identifiers
- HAL Id : inria-00426617 , version 1
Cite
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
View
0
Download