Auditing Workflow Executions against Dataflow Policies. - Accorsi, Rafael; Wonnemann, Claus (2010)