The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Formal Models of Capability-Based Protection Systems
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
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.
How it got here
How it got here
agent via openalex
Added
2026-10-25 20:41 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@article{snyder1981formal,
title = {Formal Models of Capability-Based Protection Systems},
author = {Snyder},
year = {1981},
journal = {IEEE Transactions on Computers},
publisher = {Institute of Electrical and Electronics Engineers},
volume = {C-30},
number = {3},
pages = {172--181},
doi = {10.1109/tc.1981.1675753},
}