Title :
Multilevel security for knowledge based systems
Author :
Garvey, Thomas D. ; Lunt, Teresa F.
Author_Institution :
Artificial Intelligence Center, SRI Int., Menlo Park, CA, USA
Abstract :
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
Keywords :
inference mechanisms; knowledge based systems; object-oriented programming; program verification; security of data; access classes; contradictory information; correctness; implementation formalism; inferences; knowledge based systems; mandatory security policy; multilevel objects; object oriented programming paradigm; production rules; truth maintenance; Application software; Artificial intelligence; Data security; Defense industry; Information security; Knowledge based systems; Military standards; Multilevel systems; Object oriented programming; Production systems;
Conference_Titel :
Computer Security Applications Conference, 1990., Proceedings of the Sixth Annual
Conference_Location :
Tucson, AZ
Print_ISBN :
0-8186-2105-2
DOI :
10.1109/CSAC.1990.143763
