Multilevel security for knowledge based systems

Work aimed at defining a multilevel, mandatory security policy for knowledge based systems. The authors address two distinct issues: an effective implementation formalism based on a multilevel, object oriented programming paradigm and requirements for ensuring the correctness of inferences computed on the basis of possibly contradictory information from different access classes. They define requirements for an object-oriented system capable of handling multilevel objects within a single access class. They then outline a method by which multilevel objects may be used to implement a simple knowledge based system built on production rules. The authors 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.<
>