Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers - Barthe, Gilles; Burdy, Lilian; Huisman, Marieke; Lanet, Jean-Louis; Muntean, Traian (Springer Berlin Heidelberg, 2005)