A logical approach to multilevel security of probabilistic systems.

James W. Gray III, Paul F. Syverson

Browse the full SP paper archive.