Elimination of Inference Channels by Optimal Upgrading

  • Authors:
  • Mark E. Stickel

  • Affiliations:
  • -

  • Venue:
  • SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy
  • Year:
  • 1994

Quantified Score

Hi-index 0.00

Visualization

Abstract

An inference channel exists if it is possible for a low-clearance user to infer high-classification data from low-classification data. Inference channels can be blocked by upgrading the security classification of some of the low-level data. The task of eliminating inferencechannels is formulated for solution by the Davis-Putnam theorem-proving procedure. The procedure is augmented to search for solutions with minimum total upgrade cost.