The SCEAS System
Navigation Menu

Conferences in DBLP

Java Card Workshop (javacard)
2000 (conf/javacard/2000)

  1. Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux
    Formal Methods in Context: Security and Java Card. [Citation Graph (0, 0)][DBLP]
    Java Card Workshop, 2000, pp:1-5 [Conf]
  2. Bernhard Beckert
    A Dynamic Logic for the Formal Verification of Java Card Programs. [Citation Graph (0, 0)][DBLP]
    Java Card Workshop, 2000, pp:6-24 [Conf]
  3. Pierre Bieber, Jacques Cazin, A. El Marouani, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
    The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow. [Citation Graph (0, 0)][DBLP]
    Java Card Workshop, 2000, pp:25-37 [Conf]
  4. Rajeev Goré, Lan Duy Nguyen
    CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security. [Citation Graph (0, 0)][DBLP]
    Java Card Workshop, 2000, pp:38-51 [Conf]
  5. Pieter H. Hartel, Eduard de Jong
    A Programming and a Modelling Perspective on the Evaluation of Java Card Implementations. [Citation Graph (0, 0)][DBLP]
    Java Card Workshop, 2000, pp:52-72 [Conf]
  6. Naomaru Itoi, Tomoko Fukuzawa, Peter Honeyman
    Secure Internet Smartcards. [Citation Graph (0, 0)][DBLP]
    Java Card Workshop, 2000, pp:73-89 [Conf]
  7. Roger Kehr, Michael Rohs, Harald Vogt
    Issues in Smartcard Middleware. [Citation Graph (0, 0)][DBLP]
    Java Card Workshop, 2000, pp:90-97 [Conf]
  8. Marc Kekicheff, Forough Kashef, David Brewer
    Open Platform Security. [Citation Graph (0, 0)][DBLP]
    Java Card Workshop, 2000, pp:98-113 [Conf]
  9. Ksheerabdhi Krishna, Michael Montgomery
    A Simple(r) Interface Distribution Mechanism for Java Card. [Citation Graph (0, 0)][DBLP]
    Java Card Workshop, 2000, pp:114-120 [Conf]
  10. Hugues Martin, Lydie du Bousquet
    Automatic Test Generation for Java-Card Applets. [Citation Graph (0, 0)][DBLP]
    Java Card Workshop, 2000, pp:121-136 [Conf]
  11. Joachim van den Berg, Bart Jacobs, Erik Poll
    Formal Specification and Verification of JavaCard's Application Identifier Class. [Citation Graph (0, 0)][DBLP]
    Java Card Workshop, 2000, pp:137-150 [Conf]
  12. Rüdiger Weis, Bastiaan Bakker, Stefan Lucks
    Security on Your Hand: Secure Filesystems with a ``Non-Cryptographic'' JAVA-Ring. [Citation Graph (0, 0)][DBLP]
    Java Card Workshop, 2000, pp:151-162 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002