Interactive Runtime Monitoring of Information Flow Policies