PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Iazeolla G. Notes for a set theoretic model of protection. Internal note IEI-B74-29, 1974.
 
 
Abstract
(English)
This paper introduces an algebraic model of the protection mechanism that control access to information objects in computer systems. The model is a capability-based one, i.e. it uses the notion of access capability to define a hierarchy of access privileges which is the basis of the control mechanism. The notion of the state of the protection system is introduced as a mapping of the set of subjects of the system into the set of capabilities. The state transition rules are defined and the problem of correctness is seen as a state-transition validation rule.
Subject


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