Issue No.01 - January (1983 vol.9)
P. Ancilotti , Istituto Elaborazione della Informazione, CNR
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.
static and dynamic resource allocation, Capabilities, compile-time access control, concurrent programming languages, protection mechanism
P. Ancilotti, M. Boari, N. Lijtmaer, "Language Features for Access Control", IEEE Transactions on Software Engineering, vol.9, no. 1, pp. 16-25, January 1983, doi:10.1109/TSE.1983.236166