Dennis M. Volpano Geoffrey Smith Probabilistic Noninterference in a Concurrent Language. 1999 7 Journal of Computer Security 1 db/journals/jcs/jcs7.html#VolpanoS99 http://iospress.metapress.com/content/h9dl8k682hrwwygc/