Security Assessment Framework Using Static Analysis and Fault Injection.

Published in: ICIC (1) (2008)

Keyphrases

java card
static analysis
fault injection
smart card
abstract interpretation
source code
countermeasures
dynamic analysis
intrusion detection
virtual machine