Formal to Practical Security
Papers Issued from the 2005-2008 French-Japanese Collaboration
Edición de la obra Formal to Practical Security
| Autor | Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2009 |
| Idioma | inglés |
| ISBN-13 | 9783642020025 |
| Número de Cutter | C829f |