Premium
Bytecode verification on Java smart cards
Author(s) -
Leroy Xavier
Publication year - 2002
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.438
Subject(s) - bytecode , java card , computer science , java applet , smart card , openpgp card , operating system , smart card application protocol data unit , open smart card development platform , java , programming language , java bytecode , code (set theory) , embedded system , java annotation , set (abstract data type)
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. Copyright © 2002 John Wiley & Sons, Ltd.