On protection in operating systems

35Citations
Citations of this article
76Readers
Mendeley users who have this article in their library.

Abstract

A model of protection mechanisms in computing systems is presented and its appropriateness is demonstrated. The "safety" problem for protection systems under our model is to determine in a given situation whether a subject can acquire a particular right to an object. In restricted cases, one can show that this problem is decidable, i. e., there is an algorithm to determine whether a system in a particular configuration is safe. In general, and under surprisingly weak assumptions, one cannot decide if a situation is safe. Various implications of this fact are discussed .

Cite

CITATION STYLE

APA

Harrison, M. A., Ruzzo, W. L., & Ullman, J. D. (1975). On protection in operating systems. In Proceedings of the 5th ACM Symposium on Operating Systems Principles, SOSP 1975 (pp. 14–24). Association for Computing Machinery, Inc. https://doi.org/10.1145/800213.806517

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free