Pages that link to "Item:Q1680560"
From MaRDI portal
The following pages link to Multilevel transitive and intransitive non-interference, causally (Q1680560):
Displaying 6 items.
- Symbolic algorithmic verification of intransitive generalized noninterference (Q439858) (← links)
- `Non-interference' implies equality (Q733776) (← links)
- Current-state opacity modelling and verification in partially observed Petri nets (Q1987252) (← links)
- An optimization-based approach to assess non-interference in labeled and bounded Petri net systems (Q2123401) (← links)
- A causal view on non-interference (Q2803575) (← links)
- Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques (Q6160740) (← links)