A Theory of Secure Control Flow.

Martín Abadi Mihai Budiu Úlfar Erlingsson Jay Ligatti

Published in: ICFEM (2005)

Keyphrases

control flow
data flow
process model
high level
feature space
software testing
transition systems
database
information systems
cooperative
error rate
modeling language
workflow management systems