Language Features for Access Control
Paolo Ancilotti, Maurelio Boari, N. Lijtmaer · IEEE Transactions on Software Engineering · 1983
The properties of a capability-based protection mechanism to be incorporated in a language for concurrent programming are presented. The protection mechanism is first abstractly characterized in terms of a protection model; the components of the protection mechanism, that is, the objects, subjects, and protection rules which govern the accessing to the objects by the subjects, are defined.