Construction and analysis of safe, secure, and interoperable smart devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers

Author(s)

    • Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
    • Gregoire, Benjamin
    • Huisman, Marieke
    • Lanet, Jean-Louis

Bibliographic Information

Construction and analysis of safe, secure, and interoperable smart devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005 : revised selected papers

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

(Lecture notes in computer science, 3956)

Springer, c2006

Other Title

CASSIS 2005

Available at  / 7 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Related Books: 1-1 of 1

Details

Page Top