Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Author:   Gilles Barthe ,  Benjamin Gregoire ,  Marieke Huisman
Publisher:   Springer
ISBN:  

9783540823087


Pages:   192
Publication Date:   26 August 2008
Format:   Undefined
Availability:   Out of stock   Availability explained


Our Price $65.87 Quantity:  
Add to Cart

Share |

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices


Overview

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.

Full Product Details

Author:   Gilles Barthe ,  Benjamin Gregoire ,  Marieke Huisman
Publisher:   Springer
Imprint:   Springer
Dimensions:   Width: 23.40cm , Height: 1.00cm , Length: 15.60cm
Weight:   0.277kg
ISBN:  

9783540823087


ISBN 10:   3540823085
Pages:   192
Publication Date:   26 August 2008
Audience:   General/trade ,  General
Format:   Undefined
Publisher's Status:   Unknown
Availability:   Out of stock   Availability explained

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now