Undecidability of safety for the schematic protection model with cyclic creates

DOI10.1016/0022-0000(92)90008-7zbMath0743.68040OpenAlexW2019341062MaRDI QIDQ1185248

Ravinderpal Singh Sandhu

Publication date: 28 June 1992

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(92)90008-7

zbMATH Keywords

safetyaccess controlscan-createprotection state of a systemschematic protection model

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

Safety Analysis of the Dynamic-Typed Access Matrix Model

Cites Work

• Unnamed Item
• Selective and locally controlled transport of privileges
• Formal Models of Capability-Based Protection Systems
• Unidirectional Transport of Rights and Take–Grant Control
• Protection in operating systems
• A Linear Time Algorithm for Deciding Subject Security

This page was built for publication: Undecidability of safety for the schematic protection model with cyclic creates