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

Barthe, Gilles (EDT); Gregoire, Benjamin (EDT); Huisman, Marieke (EDT); Lanet, Jean-luis (EDT)

ISBN 10: 3540336893 / ISBN 13: 9783540336891

Published by Springer, 2006

About this Item

Seller Inventory # 6909147-n

Bibliographic Details

• Title: Construction And Analysis of Safe, Secure, And Interoperable Smart Devices : Second International Workshop, Cassis 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
• Publisher: Springer
• Publication Date: 2006
• Language: English
• ISBN 10: 3540336893
• ISBN 13: 9783540336891
• Binding: Soft cover
• Condition: New

About this title

Synopsis

This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 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.