Extending the schematic protection model. I. Conditional tickets and authentication
- 17 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 213-229
- https://doi.org/10.1109/risp.1994.296579
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Representation of mental health application access policy in a monotonic modelPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- 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
- Expressive Power of the Schematic Protection Model*Journal of Computer Security, 1992
- The schematic protection modelJournal of the ACM, 1988