Lightweight Modeling of Java Virtual Machine Security Constraints.

Mark C. Reynolds

Published in: ASM (2010)

Keyphrases

lightweight
java virtual machine
rfid tags
authentication protocol
dos attacks
program execution
intrusion detection
information security
network security
data processing
access control
virtual machine
security requirements
memory management