Pages that link to "Item:Q5274096"
From MaRDI portal
The following pages link to Characterizing intransitive noninterference for 3-domain security policies with observability (Q5274096):
Displaying 5 items.
- Synthesis of opaque systems with static and dynamic masks (Q453510) (← links)
- Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
- A framework for current-state opacity under dynamic information release mechanism (Q2125535) (← links)
- On Intransitive Non-interference in Some Models of Concurrency (Q3092180) (← links)
- Non-interference assessment in colored net systems via integer linear programming (Q6193462) (← links)