Flow-Sensitive Semantics for Dynamic Information Flow Policies