This Article 
 Bibliographic References 
 Add to: 
Formal Models of Capability-Based Protection Systems
March 1981 (vol. 30 no. 3)
pp. 172-181
L. Snyder, Department of Computer Science, Purdue University
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
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
Usage of this product signifies your acceptance of the Terms of Use.