Persistent stochastic non-interference