Reasoning with Data Flows and Policy Propagation Rules