DocumentCode
3382479
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
fYear
1988
fDate
18-21 Apr 1988
Firstpage
122
Lastpage
128
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Security and Privacy, 1988. Proceedings., 1988 IEEE Symposium on
Conference_Location
Oakland, CA
Print_ISBN
0-8186-0850-1
Type
conf
DOI
10.1109/SECPRI.1988.8104
Filename
8104
Link To Document