Formal to practical security: papers issued from the 2005 - 2008 French Japanes… fromLecture Notes in Computer Science 0 Type: Book