default search action

combined dblp search
author search
venue search
publication search

ask others

CASSIS 2004: Marseille, France

> Home > Conferences and Workshops > CASSIS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/cassis/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/2004
Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean:
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
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/AspinallGHSS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/AspinallGHSS04
David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark:
Mobile Resource Guarantees for Smart Devices. 1-26
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/BanerjeeN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/BanerjeeN04
Anindya Banerjee, David A. Naumann:
History-Based Access Control and Secure Information Flow. 27-48
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/BarnettLS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/BarnettLS04
Mike Barnett, K. Rustan M. Leino, Wolfram Schulte:
The Spec# Programming System: An Overview. 49-69
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/BouquetLPT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/BouquetLPT04
Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre:
Mastering Test Generation from Smart Card Software Formal Models. 70-85
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/BushNSM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/BushNSM04
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
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/CokK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/CokK04
David R. Cok, Joseph Kiniry:
ESC/Java2: Uniting ESC/Java and JML. 108-128
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/DietlMP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/DietlMP04
Werner Dietl, Peter Müller, Arnd Poetzsch-Heffter:
A Type System for Checking Applet Isolation in Java Card. 129-150
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/HahnleM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/HahnleM04
Reiner Hähnle, Wojciech Mostowski:
Verification of Safety Properties in the Presence of Transactions. 151-171
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/HartelEEW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/HartelEEW04
Pieter H. Hartel, Pascal van Eck, Sandro Etalle, Roel J. Wieringa:
Modelling Mobility Aspects of Security Policies. 172-191
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/NodaW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/NodaW04
Chie Noda, Thomas Walter:
Smart Devices for Next Generation Mobile Services. 192-209
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/RodriguezDHR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/RodriguezDHR04
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
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/TomaBS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/TomaBS04
Diana Toma, Dominique Borrione, Ghiath Al Sammane:
Combining Several Paradigms for Circuit Validation and Verification. 229-249
- view
  authority control:
- export record
  dblp key:
  - conf/cassis/Vandewalle04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cassis/Vandewalle04
Jean-Jacques Vandewalle:
Smart Card Research Perspectives. 250-256

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.