Abstract
The Schematic Protection Model, SPM, allows us to specify the protection structure of a system and gives an algorithm to reason about the transmission of privileges in the system. This paper extends the SPM model to address revocation of privileges. In [9], we had proposed an extension of the SPM to provide authentication. The two extensions are independent in the sense that each one affects a different part of the decision algorithm.
Original language | English |
---|---|
Pages | 64-77 |
Number of pages | 14 |
Volume | 31 |
No. | 1 |
Specialist publication | ACM SIGOPS Operating Systems Review (OSR) |
Publisher | ACM |
DOIs | |
Publication status | Published - Jan 1997 |
Externally published | Yes |