The SCEAS System
Navigation Menu

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]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002