Authentication and revocation in SPM extended abstract
- 1 October 1993
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGOPS Operating Systems Review
- Vol. 27 (4) , 42-57
- https://doi.org/10.1145/163640.163644
Abstract
SPM formalism can be used to specify the protection structure of a system, and it also provides an algorithm to decide if some privileges can be granted to some subjects. This paper extends the model to take into account authentication and revocation. The authentication extension gives an algorithm to find out which authentication steps must be taken by a subject in order to gain some privileges. The revocation extension allows to decide whether certain privileges can be given back after they have been revoked. The two extensions are independent in the sense that each one corresponds to a change to a different part of the decision algorithm.Keywords
This publication has 4 references indexed in Scilit:
- An analysis of the proxy problem in distributed systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A distributed implementation of the extended schematic protection modelPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Undecidability of safety for the schematic protection model with cyclic createsJournal of Computer and System Sciences, 1992
- The schematic protection modelJournal of the ACM, 1988