Protection in Operating Systems

Communications of the ACM

Volumn 19, Issue 8, 1976, Pages 461-471

  Harrison, Michael A ^a   Ruzzo, Walter L ^a   Ullman, Jeffrey D ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b PRINCETON UNIVERSITY   (United States)

Author keywords

decidability; operating system; protection; protection system; Turing machine

Indexed keywords

AUTOMATA THEORY - TURING MACHINES; COMPUTER OPERATING SYSTEMS - DESIGN;

DATA PROCESSING;

EID: 0016984825     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/360303.360333     Document Type: Article

References (17)

1. Aho, A.V., Hopcroft, J.E., and Ullman, J.D. The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, Mass., 1974.
2. Andrews, G.R. COPS—A protection mechanism for computer Systems. Ph.D. Th. and Tech. Rep. 74-07-12, Computer Sci. Program, U. of Washington, Seattle, Wash., July, 1974.
3. Bell, D.E., and LaPadula, L.J. Secure Computer Systems, Vol. I: Mathematical Foundations. MITRE Corp. Tech. Rep. MTR-2547, 1973.
4. Bell, D.E., and LaPadula, L.J. Secure Computer Systems, Vol. II: A Mathematical Model. MITRE Corp. Tech. Rep. MTR-2547, 1973.
5. Dennis, J.B., and Van Horn, E.C. Programming semantics for multiprogrammed computations. Comm. ACM 9, 3 (March 1966), 143-155.
6. Graham, R.M. Protection in an information processing utility. Comm. ACM 11, 5 (May 1968), 365-369.
7. Graham, G.S., and Denning, P.J. Protection—principles and practice. AFIPS Conf. Proc., 1972 SJCC, Vol. 40, AFIPS Press, Montvale, N.J., 1972, pp. 417-429.
8. Hopcroft, J.E., and Ullman, J.D. Formal Languages and Their Relation to Automata. Addison-Wesley, Reading, Mass. 1969.
9. Jones, A.K. Protection in programmed systems. Ph.D. Th., Dep. of Computer Sci., Carnegie-Mellon U., Pittsburgh, Pa., June 1973.
10. Jones, A.K., and Wulf, W. Towards the design of secure systems. In Protection in Operating Systems, Colloques IRIA, Rocquencourt, France, 1974, pp. 121-136.
11. Lampson, B.W. Protection, Proc. Fifth Princeton Symp. on Information Sciences and Systems, Princeton University, March 1971, pp. 437-443.
12. Lampson, B.W. Operating Systems Rev. 8, 1 (Jan. 1974), 18-24.
13. Lampson, B.W. A note on the confinement problem. Comm. ACM 16, 10 (Oct. 1973), 613-615.
14. Needham, R.M. Protection systems and protection implementations. AFIPS Conf. Proc., 1972 FJCC, Vol. 41, AFIPS Press, Montvale, N.J., 1972, pp. 571-578.
15. Popek, G.J. Correctness in access control. Proc. ACM Nat. Computer Conf., 1974, pp. 236-241.
16. Ritchie, D.M., and Thompson, K. The UNIX time sharing system. Comm. ACM 17, 7 (July 1974), 365-375.
17. Saltzer, J.H. Protection and the control of information sharing in MULTICS. Comm. ACM 17, 7 (July 1974), 388-402.