A Framework For Enforcing Information Flow Policies