Skip to main content
SpringerLink
Log in
Book cover

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

Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Gilles Barthe

    1. IMDEA Software, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Benjamin Grégoire

    1. INRIA Sophia Antipolis, Projet EVEREST, Sophia Antipolis Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Marieke Huisman

    1. INRIA Sophia Antipolis, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Jean-Louis Lanet

    1. Gemalto, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3956)

Part of the book sub series: Security and Cryptology (LNSC)

Included in the following conference series:

Conference proceedings info: CASSIS 2005.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 papers)

  1. Front Matter

    Download chapter PDF

  2. The Architecture of a Privacy-Aware Access Control Decision Component

    • Claudio A. Ardagna, Marco Cremonini, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati
    Pages 1-15

  3. Mobile Resource Guarantees and Policies

    • David Aspinall, Kenneth MacKenzie
    Pages 16-36

  4. Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks

    • Eduardo Bonelli, Adriana Compagnoni, Ricardo Medel
    Pages 37-56

  5. Romization: Early Deployment and Customization of Java Systems for Constrained Devices

    • Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle
    Pages 57-76

  6. Typed Compilation Against Non-manifest Base Classes

    • Christopher League, Stefan Monnier
    Pages 77-98

  7. The Design of Application-Tailorable Operating System Product Lines

    • Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk
    Pages 99-117

  8. Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach

    • Ali Erdem Özcan, Sébastien Jean, Jean-Bernard Stefani
    Pages 118-137

  9. Modular Proof Principles for Parameterised Concretizations

    • David Pichardie
    Pages 138-154

  10. Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method

    • Santiago Zanella Béguelin
    Pages 155-173

  11. Back Matter

    Download chapter PDF
Back to top

Other volumes

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

Keywords

Editors and Affiliations

  • IMDEA Software, Madrid, Spain

    Gilles Barthe

  • INRIA Sophia Antipolis, Projet EVEREST, Sophia Antipolis Cedex, France

    Benjamin Grégoire

  • INRIA Sophia Antipolis, France

    Marieke Huisman

  • Gemalto, France

    Jean-Louis Lanet

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation