Title :
Modeling nondisclosure in terms of the subject-instruction stream
Author :
Williams, James G.
Author_Institution :
MITRE Corp., Bedford, MA, USA
Abstract :
A formal definition is given of nondisclosure for a computing system and the author describes a functional decomposition of the system into two kinds of activities, namely, the selection and execution of subject instructions. Security requirements for each of the two resulting subsystems are given, and it is proved that, if each subsystem satisfies its security requirements, then the entire system satisfies the given nondisclosure property. Finally, in order to show how security can be enforced by the system, an access-control model is given for subject-instruction processing that guarantees satisfaction of the given security requirements for subject-instruction processing
Keywords :
automata theory; information theory; security of data; access-control model; formal definition; functional decomposition; nondisclosure property; security requirements; subject instructions; subject-instruction processing; subject-instruction stream; Access control; Clocks; Computer aided instruction; Control system synthesis; Information security; Invasive software; Processor scheduling; Watches; Writing;
Conference_Titel :
Research in Security and Privacy, 1991. Proceedings., 1991 IEEE Computer Society Symposium on
Conference_Location :
Oakland, CA
Print_ISBN :
0-8186-2168-0
DOI :
10.1109/RISP.1991.130775
