Istituto di Scienza e Tecnologie dell'Informazione     
Ancilotti P., Boari M., Lijtmaer N. Language features for access control. Internal note IEI-B80-33, 1980.
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 objects, subjects and protection rules which govern the accessing to the objects by the subjects, are defined. The paper then concentrates on appropriate programming language features to specify how the protection mechanism may be embedded in an object oriented programming language which allows abstract data type definition. In particular it is shown how the protection rules can be implemented in the language so that a completely static access control to objects is obtained.
Subject protection mechanism
Concurrent programming languages
Compile-time access control
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