Undecidability of safety for the schematic protection model with cyclic creates
- 1 February 1992
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 44 (1) , 141-159
- https://doi.org/10.1016/0022-0000(92)90008-7
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- The demand operation in the schematic protection modelInformation Processing Letters, 1989
- The schematic protection modelJournal of the ACM, 1988
- Selective and locally controlled transport of privilegesACM Transactions on Programming Languages and Systems, 1984
- Formal Models of Capability-Based Protection SystemsIEEE Transactions on Computers, 1981
- A Linear Time Algorithm for Deciding Subject SecurityJournal of the ACM, 1977
- Protection in operating systemsCommunications of the ACM, 1976
- ProtectionACM SIGOPS Operating Systems Review, 1974