CASSIS 2004: Marseille, France

• David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark:
  Mobile Resource Guarantees for Smart Devices. 1-26
  Electronic Edition (link) BibTeX
• Anindya Banerjee, David A. Naumann:
  History-Based Access Control and Secure Information Flow. 27-48
  Electronic Edition (link) BibTeX
• Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre:
  Mastering Test Generation from Smart Card Software Formal Models. 70-85
  Electronic Edition (link) BibTeX
• William R. Bush, Antony Ng, Douglas N. Simon, Bernd Mathiske:
  A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices. 86-107
  Electronic Edition (link) BibTeX
• David R. Cok, Joseph Kiniry:
  ESC/Java2: Uniting ESC/Java and JML. 108-128
  Electronic Edition (link) BibTeX
• Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter:
  A Type System for Checking Applet Isolation in Java Card. 129-150
  Electronic Edition (link) BibTeX
• Reiner Hähnle, Wojciech Mostowski:
  Verification of Safety Properties in the Presence of Transactions. 151-171
  Electronic Edition (link) BibTeX
• Pieter H. Hartel, Pascal van Eck, Sandro Etalle, Roel Wieringa:
  Modelling Mobility Aspects of Security Policies. 172-191
  Electronic Edition (link) BibTeX
• Chie Noda, Thomas Walter:
  Smart Devices for Next Generation Mobile Services. 192-209
  Electronic Edition (link) BibTeX
• Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff, Robby:
  A Flexible Framework for the Estimation of Coverage Metrics in Explicit State Software Model Checking. 210-228
  Electronic Edition (link) BibTeX
• Diana Toma, Dominique Borrione, Ghiath Al Sammane:
  Combining Several Paradigms for Circuit Validation and Verification. 229-249
  Electronic Edition (link) BibTeX
• Jean-Jacques Vandewalle:
  Smart Card Research Perspectives. 250-256
  Electronic Edition (link) BibTeX