1
Formal to Practical Security [E-Book] : Papers Issued from the 2005-2008 French-Japanese Collaboration /