Pages that link to "Item:Q4130983"
From MaRDI portal
The following pages link to A Linear Time Algorithm for Deciding Subject Security (Q4130983):
Displaying 9 items.
- Policy analysis for administrative role-based access control (Q655414) (← links)
- Nivat's processing systems: decision problems related to protection and synchronization (Q761796) (← links)
- Some variants of the take-grant protection model (Q801669) (← links)
- Operating system verification---an overview (Q1040002) (← links)
- Creation and reflexive rights in grammatical protection systems (Q1066667) (← links)
- Theft and conspiracy in the Take-Grant protection model (Q1168082) (← links)
- Undecidability of safety for the schematic protection model with cyclic creates (Q1185248) (← links)
- On complexity of grammars related to the safety problem (Q2465626) (← links)
- seL4 Enforces Integrity (Q3088017) (← links)