Control-flow integrity principles, implementations, and applications.

Martín Abadi Mihai Budiu Úlfar Erlingsson Jay Ligatti

Published in: ACM Trans. Inf. Syst. Secur. (2009)

Keyphrases

control flow
data flow
process model
software testing
reactive systems
modeling language
business process models
database
workflow management systems
machine learning
test cases
business processes
relational databases
cooperative
formal semantics
database systems
data sets