Pages that link to "Item:Q5030175"
From MaRDI portal
The following pages link to Computational Probabilistic Non-interference (Q5030175):
Displaying 6 items.
- Abstractions of non-interference security: probabilistic versus possibilistic (Q2018754) (← links)
- \textit{D\_PSNI}: delimited persistent stochastic non-interference (Q2049988) (← links)
- Nondeterministic admissible interference (Q2709234) (← links)
- Interference Effects in Computation (Q4376205) (← links)
- Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract) (Q5739351) (← links)
- Quantifying Probabilistic Information Flow in Computational Reactive Systems (Q5862670) (← links)