Information Flow Security in Dynamic Contexts