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

International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

  • Gilles Barthe
  • Lilian Burdy
  • Marieke Huisman
  • Jean-Louis Lanet
  • Traian Muntean
Conference proceedings CASSIS 2004

DOI: 10.1007/b105030

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

Table of contents (13 papers)

  1. Front Matter
  2. David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark
    Pages 1-26
  3. Anindya Banerjee, David A. Naumann
    Pages 27-48
  4. Mike Barnett, K. Rustan M. Leino, Wolfram Schulte
    Pages 49-69
  5. Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre
    Pages 70-85
  6. William R. Bush, Antony Ng, Doug Simon, Bernd Mathiske
    Pages 86-107
  7. David R. Cok, Joseph R. Kiniry
    Pages 108-128
  8. Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter
    Pages 129-150
  9. Reiner Hähnle, Wojciech Mostowski
    Pages 151-171
  10. Pieter Hartel, Pascal van Eck, Sandro Etalle, Roel Wieringa
    Pages 172-191
  11. Chie Noda, Thomas Walter
    Pages 192-209
  12. Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby
    Pages 210-228
  13. Diana Toma, Dominique Borrione, Ghiath Al Sammane
    Pages 229-249
  14. Jean-Jacques Vandewalle
    Pages 250-256
  15. Back Matter

About these proceedings

Keywords

Java access control formal method formal verification mobile security mobile service security modeling operating system safety verification security security policies smart cards smart devices verification virtual machine

Editors and affiliations

  • Gilles Barthe
    • 1
  • Lilian Burdy
    • 2
  • Marieke Huisman
    • 2
  • Jean-Louis Lanet
    • 3
  • Traian Muntean
    • 4
  1. 1.IMDEA SoftwareMadridSpain
  2. 2.INRIA Sophia AntipolisFrance
  3. 3.GemaltoFrance
  4. 4.Ecole Supérieure D’Ingénieurs de Luminy - Case 925 - ESIL Parc ScientifiqueUniversité de la MéditerranéeMarseilleFrance

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-24287-1
  • Online ISBN 978-3-540-30569-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349