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
Last update Tue May 22 23:23:20 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
