Enforcing Executing-Implies-Verified with the Integrity-Aware Processor.

Michael LeMay Carl A. Gunter

Published in: TRUST (2011)

Keyphrases

high speed
parallel processing
integrity constraints
integrity checking
single chip
single processor
instruction set
database integrity
real time
computer architecture
distributed memory
parallel processors
data protection