Elimination of inference channels by optimal upgrading
- 17 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 168-174
- https://doi.org/10.1109/risp.1994.296583
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 inference channels is formulated for solution by the Davis-Putnam theorem-proving procedure. The procedure is augmented to search for solutions with minimum total upgrade cost.Keywords
This publication has 4 references indexed in Scilit:
- Detection and elimination of inference channels in multilevel relational database systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Data Dependencies and Inference Control in Multilevel Relational Database SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987
- A machine program for theorem-provingCommunications of the ACM, 1962
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960