Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers / edited by Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet.

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Barthe, Gilles (Editor), Gregoire, Benjamin (Editor), Huisman, Marieke (Editor), Lanet, Jean-Luis (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edition:1st ed. 2006.
Series:Security and Cryptology ; 3956
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
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.