Lightweight Bytecode Verification.

Published in: J. Autom. Reason. (2003)

Keyphrases

lightweight
java card
smart card
java bytecode
virtual machine
model checking
source code
wireless sensor networks
countermeasures
static analysis
handheld devices
dos attacks
java virtual machine
access control
development environments
communication infrastructure
low cost