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
3540336893, 9783540336891
DOI
10.1007/11741060
Open Library ID
OL18265249M
Language
english
Format
PDF
Filesize
2 MB (2310700 bytes)
Series
Lecture Notes in Computer Science 3956 : Security and Cryptology
Edition
1
Pages
173\181
Library
Kolxo3
Time added
2011-02-14 12:09:19
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