Formal to Practical Security Papers Issued from the 2005-2008 French-Japanese Collaboration - Cortier, Véronique; Kirchner, Claude; Okada, Mitsuhiro; Sakurada, Hideki (Springer Berlin Heidelberg : Imprint: Springer, 2009)