Title :
Language Features for Access Control
Author :
Ancilotti, Paolo ; Boari, Maurelio ; Lijtmaer, Norma
Author_Institution :
Istituto Elaborazione della Informazione, CNR
Abstract :
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.
Keywords :
Capabilities; compile-time access control; concurrent programming languages; protection mechanism; static and dynamic resource allocation; Access control; Computer languages; Dynamic programming; Mechanical factors; Object oriented modeling; Object oriented programming; Operating systems; Protection; Resource management; Software reliability; Capabilities; compile-time access control; concurrent programming languages; protection mechanism; static and dynamic resource allocation;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1983.236166
