A Purpose-based Synchronization Protocol for Secure Information Flow Control