Multilevel security for knowledge based systems

Author

Garvey, Thomas D. ; Lunt, Teresa F.

Author_Institution

Artificial Intelligence Center, SRI Int., Menlo Park, CA, USA

fYear

1990

fDate

3-7 Dec 1990

Firstpage

148

Lastpage

159

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Security Applications Conference, 1990., Proceedings of the Sixth Annual

Conference_Location

Tucson, AZ

Print_ISBN

0-8186-2105-2

Type

conf

DOI

10.1109/CSAC.1990.143763

Filename

143763