Thumbnail
Access Restriction
Subscribed

Author Ruzzo, Walter L. ♦ Ullman, Jeffrey D. ♦ Harrison, Michael A.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword Decidability ♦ Protection system ♦ Turing machine ♦ Protection ♦ Operating system
Abstract A model of protection mechanisms in computing systems is presented and its appropriateness is argued. The “safety” problem for protection systems under this model is to determine in a given situation whether a subject can acquire a particular right to an object. In restricted cases, it can be shown 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, it cannot be decided if a situation is safe. Various implications of this fact are discussed.
Description Affiliation: Univ. of California, Berkeley (Harrison, Michael A.; Ruzzo, Walter L.) || Princeton, Univ., Princeton, NJ (Ullman, Jeffrey D.)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 19
Issue Number 8
Page Count 11
Starting Page 461
Ending Page 471


Open content in new tab

   Open content in new tab
Source: ACM Digital Library