Context Inference for Static Analysis of Java Card Object Sharing.

Denis Caromel Ludovic Henrio Bernard P. Serpette

Published in: E-smart (2001)

Keyphrases

java card
static analysis
dynamic analysis
method invocation
byte code
fault injection
source code
smart card
regular expressions
countermeasures
open source
test suite
real world
control flow
security model
data flow
virtual machine
building blocks
training data