Sakurada, Hideki books & textbook
Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science, 5458)
Cortier, Véronique Kirchner, Claude Okada, Mitsuhiro Sakurada, Hideki
Springer /2009-05-25 Paperback / 206 Pages
isbn-10: 3642020011 / isbn-13: 9783642020018
