ENGLISH

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

By Marieke Huisman , David Aspinall , Stephen Gilmore (auth.) , Gilles Barthe , Lilian Burdy , Jean-Louis Lanet , Traian Muntean (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2005
ISBN
978-3-540-24287-1, 978-3-540-30569-9, 3-540-24287-2
DOI
10.1007/b105030
Language
english
Format
PDF
Filesize
4 MB (4437028 bytes)
Series
Lecture Notes in Computer Science 3362 Security and Cryptology
Edition
1
Pages
258\265
Time added
2014-01-18 08:00:00
CompilersInterpreters; Operating Systems; Logics and MeaninSoftware Engineering; Special Purpose and Applicat

Description

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004, held in Marseille, France in March 2004. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers are devoted to trends in smart card research, operating systems and virtual machine technologies, secure platforms, security, application validation, verification, and formal modeling and formal methods.

Similar books