Safety in grammatical protection systems
- 1 December 1983
- journal article
- Published by Springer Nature in International Journal of Parallel Programming
- Vol. 12 (6) , 413-431
- https://doi.org/10.1007/bf00977968
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Theft and conspiracy in the take-grant protection modelJournal of Computer and System Sciences, 1981
- Formal Models of Capability-Based Protection SystemsIEEE Transactions on Computers, 1981
- The transfer of information and authority in a protection systemPublished by Association for Computing Machinery (ACM) ,1979
- Polynomial Algorithms for Deterministic Pushdown AutomataSIAM Journal on Computing, 1978
- An Algorithm for Transitive Closure with Linear Expected TimeSIAM Journal on Computing, 1978
- On the synthesis and analysis of protection systemsPublished by Association for Computing Machinery (ACM) ,1977
- A Linear time algorithm for deciding securityPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976
- Protection in operating systemsCommunications of the ACM, 1976
- General context-free recognition in less than cubic timeJournal of Computer and System Sciences, 1975
- Relationships between nondeterministic and deterministic tape complexitiesJournal of Computer and System Sciences, 1970