A decidable notion of timed non-interference