A Logical Approach to Multilevel Security of Probabilistic Systems

James W. Gray III, Paul F. Syverson. A Logical Approach to Multilevel Security of Probabilistic Systems. Distributed Computing, 11(2):73-90, 1998. [doi]

Abstract

Abstract is missing.