A Type System for Data-Flow Integrity on Windows Vista

Avik Chaudhuri Prasad Naldurg Sriram K. Rajamani

Published in: CoRR (2008)

Keyphrases

data flow
database machine
control flow
microsoft windows
object oriented software
operating system
digital signal processing
data transfer
database
management system
object oriented
integrity constraints
integrity checking