Pages that link to "Item:Q1688559"
From MaRDI portal
The following pages link to Dynamic intransitive noninterference revisited (Q1688559):
Displaying 6 items.
- Symbolic algorithmic verification of intransitive generalized noninterference (Q439858) (← links)
- The enforcement of security policies for computation (Q1248369) (← links)
- Architectural refinement and notions of intransitive noninterference (Q1941885) (← links)
- Mediating secure information flow policies (Q2381505) (← links)
- Analysis of dynamic policies (Q2482441) (← links)
- Characterizing intransitive noninterference for 3-domain security policies with observability (Q5274096) (← links)