"Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration (Lecture Notes in Computer Science Security and Cryptology)" - читать интересную книгу автора (Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada)