Research Catalog

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

Title
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 [and others], (eds.).
Author
CASSIS (Conference)
Publication
Berlin ; New York : Springer, [2005], ©2005.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance TK7895.S62 C377 2005gOff-site

Holdings

Details

Additional Authors
  • Barthe, Gilles, 1967-
  • Institut national de recherche en informatique et en automatique (France)
Description
vi, 173 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science ; 3956
Uniform Title
Lecture notes in computer science ; 3956.
Alternative Title
CASSIS 2005
Subject
  • Computer storage devices > Congresses
  • Computer security > Congresses
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
3540336893
OCLC
  • ocm68961985
  • SCSB-5248425
Owning Institutions
Columbia University Libraries