Formal to practical Security - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2009
No file

Dates and versions

inria-00426617 , version 1 (27-10-2009)

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⟩
106 View
0 Download

Share

Gmail Facebook X LinkedIn More