Dennis M. Volpano Geoffrey Smith Probabilistic Noninterference in a Concurrent Language. 34-43 1998 CSFW http://dlib.computer.org/conferen/csfw/8488/pdf/84880034.pdf db/conf/csfw/csfw1998.html#VolpanoS98