Formal Models of Capability-Based Protection Systems
- 1 March 1981
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-30 (3) , 172-181
- https://doi.org/10.1109/tc.1981.1675753
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.Keywords
This publication has 9 references indexed in Scilit:
- The transfer of information and authority in a protection systemPublished by Association for Computing Machinery (ACM) ,1979
- A Linear Time Algorithm for Deciding Subject SecurityJournal of the ACM, 1977
- The Cambridge CAP computer and its protection systemPublished by Association for Computing Machinery (ACM) ,1977
- On the synthesis and analysis of protection systemsPublished by Association for Computing Machinery (ACM) ,1977
- A Linear time algorithm for deciding securityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976
- Protection in operating systemsCommunications of the ACM, 1976
- Capability-based addressingCommunications of the ACM, 1974
- HYDRACommunications of the ACM, 1974
- Programming semantics for multiprogrammed computationsCommunications of the ACM, 1966