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 , 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.
|Number of pages||14|
|Specialist publication||ACM SIGOPS Operating Systems Review (OSR)|
|Publication status||Published - Jan 1997|