Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers - Barthe, Gilles; Grégoire, Benjamin; Huisman, Marieke; Lanet, Jean-Louis (Springer Berlin Heidelberg : Imprint: Springer, 2006)