Pages that link to "Item:Q2938053"
From MaRDI portal
The following pages link to Formalizing Probabilistic Noninterference (Q2938053):
Displaying 5 items.
- A formalized general theory of syntax with bindings (Q1687739) (← links)
- Markov chains and Markov decision processes in Isabelle/HOL (Q1701041) (← links)
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- Characterizing intransitive noninterference for 3-domain security policies with observability (Q5274096) (← links)
- Unwinding Possibilistic Security Properties (Q5862302) (← links)