CASSIS 2004: Marseille, France

Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean (Eds.): Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3362 Springer 2005, ISBN 3-540-24287-2

David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark:
Mobile Resource Guarantees for Smart Devices. 1-26
Anindya Banerjee, David A. Naumann:
History-Based Access Control and Secure Information Flow. 27-48
Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre:
Mastering Test Generation from Smart Card Software Formal Models. 70-85
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
David R. Cok, Joseph Kiniry:
ESC/Java2: Uniting ESC/Java and JML. 108-128
Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter:
A Type System for Checking Applet Isolation in Java Card. 129-150
Reiner Hähnle, Wojciech Mostowski:
Verification of Safety Properties in the Presence of Transactions. 151-171
Pieter H. Hartel, Pascal van Eck, Sandro Etalle, Roel Wieringa:
Modelling Mobility Aspects of Security Policies. 172-191
Chie Noda, Thomas Walter:
Smart Devices for Next Generation Mobile Services. 192-209
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
Diana Toma, Dominique Borrione, Ghiath Al Sammane:
Combining Several Paradigms for Circuit Validation and Verification. 229-249
Jean-Jacques Vandewalle:
Smart Card Research Perspectives. 250-256