Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, Fra - Traian Muntean, Gilles Barthe, Jean-Louis Lanet, Lilian Burdy et Marieke Huisman