Construction and analysis of safe, secure, and interoperable smart devices
Subtitle: international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers
By: Gilles Barthe ... [et al.] (eds.).
Contributors: Barthe, Gilles, 1967-
Series: Lecture notes in computer science,; 3362; Hot topics; Hot topics (Berlin, Germany)
Publisher: Springer
Published: 2005
Place of publication: Berlin; New York
Language: eng
Number of pages: 256
Subjects: Smart cards -- Security measures -- Congresses.; Data transmission systems -- Security measures -- Congresses.
Genres: Congresses.
Other titles: CASSIS 2004
Notes: Includes bibliographical references and index.
Also issued online.