Undecidability of safety for the schematic protection model with cyclic creates (Q1185248): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Protection in operating systems / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3915990 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A Linear Time Algorithm for Deciding Subject Security / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Unidirectional Transport of Rights and Take–Grant Control / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Selective and locally controlled transport of privileges / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Formal Models of Capability-Based Protection Systems / rank | |||
Normal rank | |||
Latest revision as of 16:20, 15 May 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Undecidability of safety for the schematic protection model with cyclic creates |
scientific article |
Statements
Undecidability of safety for the schematic protection model with cyclic creates (English)
0 references
28 June 1992
0 references
access controls
0 references
protection state of a system
0 references
schematic protection model
0 references
can-create
0 references
safety
0 references
