Ebook: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
- Tags: Software Engineering, Special Purpose and Application-Based Systems, Programming Techniques, Programming Languages Compilers Interpreters, Operating Systems, Logics and Meanings of Programs
- Series: Lecture Notes in Computer Science 3362 Security and Cryptology
- Year: 2005
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
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.
Download the book Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)