Gray, James ``A Logical Approach to Multilevel Security in Probabilistic
Systems,'' (with P. Syverson) Proc. 1992 IEEE Symposium on
Security and Privacy, IEEE Press, 1992. 
<P>