Construction and analysis of safe, secure, and interoperable smart devices
Subtitle: second international workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers
By: Gilles Barthe ... [et al.] (eds.).
Contributors: Barthe, Gilles, 1967-
Series: Lecture notes in computer science -- 3956.
Publisher: Springer
Published: 2006
Place of publication: Berlin; New York
Language: eng
Number of pages: 173
Subjects: Computer storage devices -- Congresses.; Computer security -- Congresses.
Genres: Congresses.
Other titles: CASSIS 2005.
Notes: Includes bibliographical references and index.

Also issued online.