ENGLISH

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

By Marieke Huisman , Gilles Barthe , Claudio A. Ardagna , Marco Cremonini (auth.) , Benjamin Grégoire , Jean-Louis Lanet (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2006
ISBN
978-3-540-33689-1, 978-3-540-33691-4
DOI
10.1007/11741060
Language
english
Format
PDF
Filesize
2 MB (1816169 bytes)
Series
Lecture Notes in Computer Science 3956
Edition
1
Pages
173\181
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
CompilersInterpreters; Operating Systems; Logics and MeaninSoftware Engineering; Special Purpose and Applicat

Description

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005, held in Nice, France, in March 2005. The 9 revised full papers presented were carefully selected during two rounds of reviewing and improvement from about 30 workshop talks. The papers are organized in topical sections on research trends in smart devices, Web services, virtual machine technology, security, validation and formal methods, proof-carrying code, and embedded devices.

Similar books