Construction and Analysis of Safe, Secure, and Interoperable Smart DevicesGilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean · First published 2005Open the Tome