DocumentCode
1143734
Title
Formal Models of Capability-Based Protection Systems
Author
Snyder, Lawrence
Author_Institution
Department of Computer Science, Purdue University
Issue
3
fYear
1981
fDate
3/1/1981 12:00:00 AM
Firstpage
172
Lastpage
181
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;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/TC.1981.1675753
Filename
1675753
Link To Document