Title :
Formal Models of Capability-Based Protection Systems
Author :
Snyder, Lawrence
Author_Institution :
Department of Computer Science, Purdue University
fDate :
3/1/1981 12:00:00 AM
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 :
Capabilities; Take/Grant Models; grammatical protection systems; right-passing; safety; security; theoretical models of protection; Computer science; Control systems; Data security; Hazards; Information security; Privacy; Protection; Safety; Sampling methods; Terminology; Capabilities; Take/Grant Models; grammatical protection systems; right-passing; safety; security; theoretical models of protection;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1981.1675753
