CASSIS 2005:
Nice,
France
Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet (Eds.):
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers.
Lecture Notes in Computer Science 3956 Springer 2006, ISBN 3-540-33689-3 
- Claudio Agostino Ardagna, Marco Cremonini, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati:
The Architecture of a Privacy-Aware Access Control Decision Component.
1-15
- David Aspinall, Kenneth MacKenzie:
Mobile Resource Guarantees and Policies.
16-36
- Eduardo Bonelli, Adriana B. Compagnoni, Ricardo Medel:
Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks.
37-56
- Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle:
Romization: Early Deployment and Customization of Java Systems for Constrained Devices.
57-76
- Christopher League, Stefan Monnier:
Typed Compilation Against Non-manifest Base Classes.
77-98
- Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk:
The Design of Application-Tailorable Operating System Product Lines.
99-117
- Ali Erdem Özcan, Sébastien Jean, Jean-Bernard Stefani:
Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach.
118-137
- David Pichardie:
Modular Proof Principles for Parameterised Concretizations.
138-154
- Santiago Zanella Béguelin:
Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method.
155-173
Last update Tue Feb 14 03:50:08 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
