Portal de Periódicos da CAPES

Bytecode verification on Java smart cards

2002; Wiley; Volume: 32; Issue: 4 Linguagem: Inglês

10.1002/spe.438

1097-024X

Xavier Leroy,

Distributed systems and fault tolerance

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. Copyright © 2002 John Wiley & Sons, Ltd.