ISBN-10:
3540336893
ISBN-13:
9783540336891
Pub. Date:
05/22/2006
Publisher:
Springer Berlin Heidelberg
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / Edition 1

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / Edition 1

Paperback

Current price is , Original price is $89.99. You
Select a Purchase Option (2006)
  • purchase options
    $71.99 $89.99 Save 20% Current price is $71.99, Original price is $89.99. You Save 20%.
  • purchase options

Product Details

ISBN-13: 9783540336891
Publisher: Springer Berlin Heidelberg
Publication date: 05/22/2006
Series: Lecture Notes in Computer Science , #3956
Edition description: 2006
Pages: 173
Product dimensions: 6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

The Architecture of a Privacy-Aware Access Control Decision Component.- Mobile Resource Guarantees and Policies.- Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks.- Romization: Early Deployment and Customization of Java Systems for Constrained Devices.- Typed Compilation Against Non-manifest Base Classes.- The Design of Application-Tailorable Operating System Product Lines.- Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach.- Modular Proof Principles for Parameterised Concretizations.- Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews