Andrei Sabelfeld, David Sands: Probabilistic Noninterference for Multi-Threaded Programs. CSFW 2000: 200-214