An Improved Bytecode Verification Algorithm on Java Card.

Yaping Chi Zhaobin Li Zhonghua Wang Yong Fang

Published in: CIS (1) (2009)

Keyphrases

java card
smart card
case study
database systems
low cost
wireless networks
matching algorithm
model checking
static analysis