PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ancilotti P., Boari M., Lijtmaer N. Language features for access control. In: Ieee Transactions on Software Engineering, vol. Se-9 pp. 16 - 25. IEEE, 1983.
 
 
Abstract
(English)
The properties of a capability-based protection mechanism to be incorporated a language for concurrent programming are presented. The protection mechanism is first abstractly characterized in terms of 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. The paper concentrates on appropriate programming language features to specify how the protection mechanism may be embedded in an object-oriented programming language which allows an abstract data type definition. In particular it is shown how protection rules can be implemented in the language so that a completely static access control to objects is obtained.
Subject Capabilities
Compile-time access control
Concurrent programming languages
Protection mechanism
Static and dynamic resource allocation


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional