James W. Gray III, Paul F. Syverson. A logical approach to multilevel security of probabilistic systems. In 1992 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 4-6, 1992. pages 164-176, IEEE Computer Society, 1992. [doi]
Abstract is missing.