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 .
CITATION STYLE
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
Mendeley helps you to discover research relevant for your work.