A general model for hiding control flow.

Jan Cappaert Bart Preneel

Published in: Digital Rights Management Workshop (2010)

Keyphrases

control flow
data flow
software testing
process model
business process models
workflow management systems
reactive systems
formal semantics
transition systems
modeling language
machine learning
object oriented
source code
markov chain
memory hierarchy