Advertisement

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

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

  • Gilles Barthe
  • Benjamin Grégoire
  • Marieke Huisman
  • Jean-Louis Lanet
Conference proceedings CASSIS 2005

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

Table of contents

  1. Front Matter
  2. Claudio A. Ardagna, Marco Cremonini, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati
    Pages 1-15
  3. David Aspinall, Kenneth MacKenzie
    Pages 16-36
  4. Eduardo Bonelli, Adriana Compagnoni, Ricardo Medel
    Pages 37-56
  5. Alexandre Courbot, Gilles Grimaud, Jean-Jacques Vandewalle
    Pages 57-76
  6. Christopher League, Stefan Monnier
    Pages 77-98
  7. Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk
    Pages 99-117
  8. Ali Erdem Özcan, Sébastien Jean, Jean-Bernard Stefani
    Pages 118-137
  9. Back Matter

About these proceedings

Keywords

Assembly language Deployment Java access control embedded devices formal methods formal verification mobile security mobile service security model checking operating system security security policies verification virtual machine

Editors and affiliations

  • Gilles Barthe
    • 1
  • Benjamin Grégoire
    • 2
  • Marieke Huisman
    • 3
  • Jean-Louis Lanet
    • 4
  1. 1.IMDEA SoftwareMadridSpain
  2. 2.INRIA Sophia Antipolis, Projet EVERESTSophia Antipolis CedexFrance
  3. 3.INRIA Sophia AntipolisFrance
  4. 4.GemaltoFrance

Bibliographic information

  • DOI https://doi.org/10.1007/11741060
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-33689-1
  • Online ISBN 978-3-540-33691-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site