Trusted Code Execution in JavaCard.

Antonio Maña Antonio Muñoz

Published in: TrustBus (2007)

Keyphrases

code generation
formal specification
data flow
source code
control flow
smart card
java virtual machine
artificial intelligence
databases
static analysis
error correcting
network connection
data structure
dynamic environments
memory management