Pages that link to "Item:Q2339144"
From MaRDI portal
The following pages link to Noninterference in a predicative polymorphic calculus for access control (Q2339144):
Displaying 5 items.
- Architectural refinement and notions of intransitive noninterference (Q1941885) (← links)
- Access control in a core calculus of dependency (Q2864145) (← links)
- Type-Based Access Control in Data-Centric Systems (Q3000577) (← links)
- Characterizing intransitive noninterference for 3-domain security policies with observability (Q5274096) (← links)
- Trustworthy Global Computing (Q5394792) (← links)