Pages that link to "Item:Q2709234"
From MaRDI portal
The following pages link to Nondeterministic admissible interference (Q2709234):
Displaying 5 items.
- \textit{D\_PSNI}: delimited persistent stochastic non-interference (Q2049988) (← links)
- Controlling information release in the \(\pi\)-calculus (Q2643083) (← links)
- Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols (Q2841265) (← links)
- Non-interference control synthesis for security timed automata (Q2864391) (← links)
- On Intransitive Non-interference in Some Models of Concurrency (Q3092180) (← links)