Transforming processes to check and ensure Information Flow Security