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

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

Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet - Computers - 2006 - 173 pages
This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS ...
Limited preview - About this book

Foundations of Security Analysis and Design V: FOSAD 2008/2009 ..., Volume 5

Alessandro Aldini, Gilles Barthe, Roberto Gorrieri - Business & Economics - 2009 - 339 pages
This book presents tutorial lectures from three International Schools on Foundations of Security Analysis and Design, FOSAD 2007/2008/2009. Topics include cryptographic ...
Limited preview - About this book

Security and Trust Management: 6th International Workshop, STM 2010, Athens ...

Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner - Business & Economics - 2011 - 271 pages
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Security and Trust Management, STM 2010, held in Athens, Greece ...
Limited preview - About this book

Security and Trust Management: 12th International Workshop, STM 2016 ...

Gilles Barthe, Evangelos Markatos, Pierangela Samarati - Computers - 2016 - 229 pages
This book constitutes the refereed proceedings of the 12th International Workshop on Security and Trust Management, STM 2016, held in Heraklion, Crete, Greece, in September ...
Limited preview - About this book

Security in Pervasive Computing: First International Conference, Boppard ...

Dieter Hutter - Computers - 2004 - 289 pages
This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Security in Pervasive Computing held in Boppard, Germany in March 2003 ...
Limited preview - About this book

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial ...

Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli - Computers - 2005 - 276 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