Construction and analysis of safe, secure, and interoperable smart devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers

Author(s)

    • Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
    • Barthe, Gilles
    • Burdy, Lilian
    • Huisman, Marieke
    • Lanet, Jean-Louis

Bibliographic Information

Construction and analysis of safe, secure, and interoperable smart devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004 : revised selected papers

Gilles Barthe ... [et al.] (eds.)

(Lecture notes in computer science, 3362)

Springer, c2005

Other Title

CASSIS 2004

Available at  / 15 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

"Hot Topics"--On Cover

Related Books: 1-1 of 1

Details

Page Top