Control-flow integrity.

Martín Abadi Mihai Budiu Úlfar Erlingsson Jay Ligatti

Published in: CCS (2005)

Keyphrases

control flow
data flow
software testing
workflow management systems
process model
integrity constraints
reactive systems
database
business process models
transition systems
machine learning
case study
cooperative
memory hierarchy