Conferences in DBLP

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (cassis)
2004 (conf/cassis/2004)

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