The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - March (1981 vol.30)
pp: 172-181
L. Snyder , Department of Computer Science, Purdue University
ABSTRACT
The role of formal modeling in the study of capability- based protection systems is explained. Historical background is presented and a model of a computer science department's computer system is presented. A survey of several important capability-based models is given including the Harrison, Ruzzo, Ullman model, the Take-Grant model, and grammatical models. These models are presented in a unified manner with consistent terminology. The main results of the models are given. These results are compared, contrasted, and interpreted in the context of numerous examples.
INDEX TERMS
theoretical models of protection, Capabilities, grammatical protection systems, right-passing, safety, security, Take/Grant Models
CITATION
L. Snyder, "Formal Models of Capability-Based Protection Systems", IEEE Transactions on Computers, vol.30, no. 3, pp. 172-181, March 1981, doi:10.1109/TC.1981.1675753
40 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool