Minimal TCB Code Execution.

Jonathan M. McCune Bryan Parno Adrian Perrig Michael K. Reiter Arvind Seshadri

Published in: IEEE Symposium on Security and Privacy (2007)

Keyphrases

code generation
data flow
control flow
source code
java virtual machine
insider attacks
database
information systems
query optimization
execution model
program execution
data sets
software engineering
workflow engine