Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 45 related to Construction and Analysis of Safe, Secure, and Interoperable Smart Devices ....    

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices ...

Gilles Barthe - Computers - 2006 - 173 pages
This volume contains a selection of refereed papers from participants of the second “Construction and Analysis of Safe, Secure and Interoperable Smart - vices” (Cassis ...
Limited preview - About this book

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 ...

Gilles Barthe, Frank S. de Boer - Computers - 2008 - 259 pages
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held ...
Limited preview - About this book

Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis ...

Gilles Barthe, Cédric Fournet - Computers - 2008 - 400 pages
This volume contains the post-proceedings of the third edition of the Int- national Symposium on Trustworthy Global Computing (TGC 2007), held in Sophia-Antipolis,France ...
Limited preview - About this book

Java on Smart Cards: Programming and Security: First International ..., Volume 1

Isabelle Attali, Thomas Jensen - Business & Economics - 2001 - 162 pages
Smart cards are playing an increasingly important role in areas such as ban- 1 king,electroniccommerce,andtelecommunications. TheJavaCard language hasbeenproposedasahigh ...
Limited preview - About this book

Ada in Europe: First International Eurospace-Ada-Europe Symposium ..., Volume 1

M. Toussaint - Computers - 1994 - 521 pages
This volume constitutes the proceedings of the First International Eurospace/Ada-Europe Symposium, held in Copenhagen in September 1994; this symposium series is the merger of ...
Limited preview - About this book

Smart Card Programming and Security: International Conference on Research in ...

Isabelle Attali, Thomas Jensen - Business & Economics - 2001 - 254 pages
The E-smart 2001 international conference on research in smart cards was held in Cannes, France on 19–21 September. The conference was jointlyorganized bythe Java Card Forum ...
Limited preview - About this book

Reliable Software Technologies -- Ada-Europe 2006: 11th Ada-Europe ...

Luís Miguel Pinho, Michael González Harbour - Business & Economics - 2006 - 240 pages
The 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal, June 5-9, 2006. It was as usual sponsored by Ada-Europe ...
Limited preview - About this book

Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador ...

Carlos Alberto Maziero - Computers - 2005 - 266 pages
The Latin-American Symposium on Dependable Computing, LADC, isthemain Latin-American event dedicated to the discussion of the many issues related to dependability in computer ...
Limited preview - About this book

Foundations of Security Analysis and Design III: FOSAD 2004/2005 ..., Volume 3

Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli - Business & Economics - 2005 - 272 pages
The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing number of - search groups ...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search