Communication Dans Un Congrès Année : 2003

Enforcing Portability and Security Policies on Java Card Applications

Résumé

We motivate and present an automated validation tool takes as input a Java Card application and a set of rules, and provides as output an analysis of the way in which the Java Card application follows the rules. The applications are usually provided in binary format, as CAP files, which means that the validation occurs on the exact code that will be downloaded in the card. The rules may consist of a standard set of rules, for instance the application portability rules defined by the SIM Alliance. They may also include some rules customized for a specific card issuer, card program, or even for a specific application (for instance, a highly sensitive application may require specific rules that do not apply to other applications). The result of the validation consists of a diagnosis and a report.

Domaines

Fichier principal
Vignette du fichier
eSmart03-Vetillard-Marlet.pdf (94.27 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-00306306 , version 1 (28-07-2009)

Licence

Identifiants

  • HAL Id : hal-00306306 , version 1

Citer

Éric Vétillard, Renaud Marlet. Enforcing Portability and Security Policies on Java Card Applications. e-Smart conference (e-Smart 2003), Sophia Antipolis, Sep 2003, France. pp.électronique. ⟨hal-00306306⟩
96 Consultations
137 Téléchargements

Partager

  • More