Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science / Security and ... Notes in Computer Science (5458), Band 5458)

Mitsuhiro

von: Veronique Cortier · Claude Kirchner · Mitsuhiro Okada · Hideki Sakurada

Taschenbuch

ISBN-13: 978-3-642-02001-8

ISBN-10: 3-642-02001-1

Springer · 2009