关键词: Java卡 字节码 字节码校验 缓存策略

Abstract:

Bytecode verification is an important measure to ensure the security of the Java card. However, due to the restricted memory and low-speed MCU of smart cards, conventional bytecode verification algorithms are not feasible on it. A directed-branch-graph-based and cache-policy-based bytecode verificatin algorithm is presented to address this problem in this paper. The results from the efficiency analysis and practice prove that this algorithm is an ef  ficient and feasible one .

Key words: Java card, bytecode, bytecode verification, cache policy