Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Gilles Barthe Benjamin Grégoire Marieke Huisman Jean-Louis Lanet Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers 3956 2006 3-540-33689-3 CASSIS Lecture Notes in Computer Science Springer db/conf/cassis/cassis2005.html