Construction And Analysis Of Safe Secure And Interoperable Smart Devices

Download or read book Construction and Analysis of Safe, Secure, and Interoperable Smart Devices written by Gilles Barthe and published by Springer Science & Business Media. This book was released on 2005-01-21 with total page 265 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.