An integrated development environment for Java Card.

Isabelle Attali Denis Caromel Carine Courbis Ludovic Henrio Henrik Nilsson

Published in: Comput. Networks (2001)

Keyphrases

java card
smart card
fault injection
static analysis
byte code
countermeasures
virtual machine
security model
elliptic curve
control flow
method invocation
data flow
security analysis
information security
data management
source code
object oriented
information systems
database