Multilevel Security for Knowledge Based Systems

摘要

We discuss work aimed at defining a multilevel, mandatory security policy forknowledge based systems. We address two distinct issues: an effective implementation formalism based on a multilevel, object oriented programming paradigm, and requirements for ensuring the corrections of inferences computed on the basis of possibly contradictory information from different access classes. We define requirements for an object-oriented system capable of handling multilevel object with a single access class. We then outline a method by which multilevel objects may be used to implement a simple knowledge based system built on production rules. We argue that the issues regarding correctness are similar to those of truth maintenance in standard knowledge based systems and may be addressed by similar methods.