Title :
Reasoning about knowledge in multilevel secure distributed systems
Author :
Glasgow, Janice I. ; MacEwen, Glenn H.
Author_Institution :
Dept. of Comput. & Inf. Sci., Queen´´s Univ., Kingston, Ont., Canada
Abstract :
A method for reasoning about knowledge in multilevel secure distributed systems is introduced. This method, based on a behavioral semantics for operator nets, can be used to specify a variety of security properties such as nondisclosure, integrity, and authority systems. The major attributes of the method are the intuitive nature of the specifications and the expressibility of the model, which allows statements about temporal properties and deductive capabilities of processes
Keywords :
knowledge engineering; operating systems (computers); security of data; specification languages; Lucid; authority systems; behavioral semantics; deductive capabilities; integrity; knowledge; multilevel secure distributed systems; nondisclosure; reasoning; security properties; specifications; temporal properties; Application software; Computer security; Distributed computing; Engines; Equations; Functional programming; Humans; Information science; Information security; Parallel processing;
Conference_Titel :
Security and Privacy, 1988. Proceedings., 1988 IEEE Symposium on
Conference_Location :
Oakland, CA
Print_ISBN :
0-8186-0850-1
DOI :
10.1109/SECPRI.1988.8104
