A comment on the confinement problem

Proceedings of the 5th ACM Symposium on Operating Systems Principles, SOSP 1975

Volumn , Issue , 1975, Pages 192-196

  Lipner, Steven B ^a  

^a MITRE CORPORATION   (United States)

Author keywords

Confinement; Leakage of data; Proprietary program; Protection; Security

Indexed keywords

PLASMA CONFINEMENT;

COVERT CHANNELS; PROPRIETARY PROGRAM; PROTECTION; RESOURCE USAGE; SECURITY; SECURITY POLICY; WRITING INFORMATION;

DIGITAL STORAGE;

EID: 84945721946     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800213.806537     Document Type: Conference Paper

References (15)

1. Bell, D. Elliott and LaPadula, Leonard J. Secure computer systems. ESD-TR-73-278 (AD 770768, 771543, and 780528) The MITRE Corporation, Bedford, Massachusetts (November 1973).
2. Burke, Edmund L. Private communication-Burke and Schell seem to have devised the scheme of applying the ∗-property to variables inside a security kernel during late 1972 or early 1973.
3. Honeywell Information Systems. Design for Multics security enhancements. ESD-TR-74-176, Electronic Systems Division (AFSC), L. G. Hanscom AFB, Massachusetts (1974).
4. Lampson, Butler W. A note on the confinement probliem. Communications of the ACM 16. 10 (October 1973), 613-615.
5. Millen, Jonathan K. Security kernel validation in practice. MTR-2932, Vol. 2, The MITRE Corporation, Bedford, Massachusetts (In preparation).
6. Organick, Elliott I. The Multics System: An Examination of its Structure. The MIT Press, Cambridge, Massachusetts, 1972.
7. Parnas, David L. A technique for software module specification with examples. Communications of the ACM 13. 5 (May 1972), 330-336.
8. Price, William R. Implications of a virtual memory mechanism for implementing protection in a family of operating systems. PhD Thesis, Carnegie-Mellon University (June 1973).
9. Robinson, L., Neumann, P. G., Levitt, K. N., and Saxena, A. On attaining reliable software for a secure operating system. Proceedings of the 1975 International Conference on Reliable Software., Los Angeles, California (April 1975) 267-284.
10. Rotenberg, Leo J. Making computers keep secrets. MAC-TR-115, Massachusetts Institute of Technology, Cambridge, Massachusetts (February 1974).
11. Saltzer, Jerome H. Private communication. (April 1975).
12. Schell, Roger R. See reference [2].
13. Schiller, W. Lee. Design of a security kernel for the PDP-11/45. ESD-TR-73-294 (AD 772808), The MITRE Corporation, Bedford, Massachusetts (December 1973).
14. Schiller, W. Lee. The design and specification of a security kernel for the PDP-11/45. ESD-TR-75-69 (AD A011712), The MITRE Corporation, Bedford, Massachusetts (March 1975).
15. Weissman, Clark. Security controls in the ADEPT-50 time-sharing system. AFIPS Conference Proceedings 35 (FJCC 1969) 119-133.