Securing Software by Enforcing Data-flow Integrity.

Miguel Castro Manuel Costa Tim Harris

Published in: OSDI (2006)

Keyphrases

data flow
control flow
database machine
object oriented software
digital signal processing
systolic array
high assurance
software systems
object oriented
data transfer
information security
integrity constraints
software architecture
software tools
parallel algorithm
distributed systems
query language