Formal to Practical Security : Papers Issued from the 2005-2008 French-Japanese Collaboration - Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada ((Lecture Notes in Computer Science))