Practical Considerations in Control-Flow Integrity Monitoring.

Iavor S. Diatchki Lee Pike Levent Erkök

Published in: ICST Workshops (2011)

Keyphrases

control flow
data flow
monitoring system
process model
software testing
real time
workflow management systems
transition systems
modeling language
formal semantics
business process models
integrity constraints
business processes
memory hierarchy
black box
computing power
reactive systems
artificial intelligence