Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration

The security issues set by the global digitization of our society have had, and will continue to have, a crucial impact at all levels of our social organization, including, just to mention a few, privacy, economics, environmental policies, national sovereignty, medical environments. The importance of the collaborations in the various fields of computer s— ence to solve these problems linked with other sciences and techniques is clearly recognized. Moreover, the collaborative work to bridge ...