Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2005

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

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

Editors:

  1. Gilles Barthe

    1. IMDEA Software, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Lilian Burdy

    1. INRIA Sophia Antipolis, 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

  5. Traian Muntean

    1. Ecole Supérieure D’Ingénieurs de Luminy - Case 925 - ESIL Parc Scientifique, Université de la Méditerranée, Marseille, 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 3362)

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

Conference series link(s): CASSIS: International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Conference proceedings info: CASSIS 2004.

Sections

Buy it now

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

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

Table of contents (13 papers)

  1. Front Matter

    PDF

  2. Mobile Resource Guarantees for Smart Devices

    • David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark
    Pages 1-26

  3. History-Based Access Control and Secure Information Flow

    • Anindya Banerjee, David A. Naumann
    Pages 27-48

  4. The Spec# Programming System: An Overview

    • Mike Barnett, K. Rustan M. Leino, Wolfram Schulte
    Pages 49-69

  5. Mastering Test Generation from Smart Card Software Formal Models

    • Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre
    Pages 70-85

  6. A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices

    • William R. Bush, Antony Ng, Doug Simon, Bernd Mathiske
    Pages 86-107

  7. ESC/Java2: Uniting ESC/Java and JML

    • David R. Cok, Joseph R. Kiniry
    Pages 108-128

  8. A Type System for Checking Applet Isolation in Java Card

    • Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter
    Pages 129-150

  9. Verification of Safety Properties in the Presence of Transactions

    • Reiner Hähnle, Wojciech Mostowski
    Pages 151-171

  10. Modelling Mobility Aspects of Security Policies

    • Pieter Hartel, Pascal van Eck, Sandro Etalle, Roel Wieringa
    Pages 172-191

  11. Smart Devices for Next Generation Mobile Services

    • Chie Noda, Thomas Walter
    Pages 192-209

  12. A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking

    • Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby
    Pages 210-228

  13. Combining Several Paradigms for Circuit Validation and Verification

    • Diana Toma, Dominique Borrione, Ghiath Al Sammane
    Pages 229-249

  14. Smart Card Research Perspectives

    • Jean-Jacques Vandewalle
    Pages 250-256

  15. Back Matter

    PDF
Back to top

Other Volumes

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

Back to top

Keywords

Back to top

Editors and Affiliations

  • IMDEA Software, Madrid, Spain

    Gilles Barthe

  • INRIA Sophia Antipolis, France

    Lilian Burdy, Marieke Huisman

  • Gemalto, France

    Jean-Louis Lanet

  • Ecole Supérieure D’Ingénieurs de Luminy - Case 925 - ESIL Parc Scientifique, Université de la Méditerranée, Marseille, France

    Traian Muntean

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation