Extending the Schematic Protection Model II: revocation

Authors:
Vijay Varadharajan
Affiliations:
Professor of Computing, University of Western Sydney, Nepean, Australia
Venue:
ACM SIGOPS Operating Systems Review
Year:
1997

Citing 4
Cited 0

The schematic protection model: its definition and analysis for acyclic attenuating schemes

Journal of the ACM (JACM)
Undecidability of safety for the schematic protection model with cyclic creates

Journal of Computer and System Sciences
Authentication and revocation in SPM extended abstract

ACM SIGOPS Operating Systems Review
Extending the Schematic Protection Model - I Conditional Tickets and Authentication

SP '94 Proceedings of the 1994 IEEE Symposium on Security and Privacy

Quantified Score

Hi-index	0.00

Visualization

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.