Bytecode verification on Java smart cards

Abstract : This article presents a novel approach to the problem of bytecode verification for Java Card applets. By relying on prior off-card bytecode transformations, we simplify the bytecode verifier and reduce its memory requirements to the point where it can be embedded on a smart card, thus increasing significantly the security of post-issuance downloading of applets on Java Cards. This article describes the on-card verification algorithm and the off-card code transformations, and evaluates experimentally their impact on applet code size.
Type de document :
Article dans une revue
Software: Practice and Experience, Wiley, 2002, 32 (4), pp.319-340. 〈10.1002/spe.438〉
Liste complète des métadonnées

Littérature citée [31 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01499944
Contributeur : Xavier Leroy <>
Soumis le : samedi 1 avril 2017 - 17:43:35
Dernière modification le : mardi 4 avril 2017 - 01:08:56
Document(s) archivé(s) le : dimanche 2 juillet 2017 - 12:52:29

Fichier

oncard-verifier-spe.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Xavier Leroy. Bytecode verification on Java smart cards. Software: Practice and Experience, Wiley, 2002, 32 (4), pp.319-340. 〈10.1002/spe.438〉. 〈hal-01499944〉

Partager

Métriques

Consultations de la notice

166

Téléchargements de fichiers

43