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 BibTeX

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
Electronic Edition (link) BibTeX
David Aspinall, Kenneth MacKenzie:
Mobile Resource Guarantees and Policies. 16-36
Electronic Edition (link) BibTeX
Eduardo Bonelli, Adriana B. Compagnoni, Ricardo Medel:
Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks. 37-56
Electronic Edition (link) BibTeX
Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle:
Romization: Early Deployment and Customization of Java Systems for Constrained Devices. 57-76
Electronic Edition (link) BibTeX
Christopher League, Stefan Monnier:
Typed Compilation Against Non-manifest Base Classes. 77-98
Electronic Edition (link) BibTeX
Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk:
The Design of Application-Tailorable Operating System Product Lines. 99-117
Electronic Edition (link) BibTeX
Ali Erdem Özcan, Sébastien Jean, Jean-Bernard Stefani:
Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach. 118-137
Electronic Edition (link) BibTeX
David Pichardie:
Modular Proof Principles for Parameterised Concretizations. 138-154
Electronic Edition (link) BibTeX
Santiago Zanella Béguelin:
Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method. 155-173
Electronic Edition (link) BibTeX