Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine.

Yuan Dong Kai Ren Shengyuan Wang Suqin Zhang

Published in: APLAS (2009)

Keyphrases

virtual machine
java bytecode
operating system
distributed computing
data center
trust model
java card
virtual memory
java virtual machine
cloud computing environment
technical support
multi tasking
garbage collection