Pages that link to "Item:Q5740625"
From MaRDI portal
The following pages link to Hidden-Markov program algebra with iteration (Q5740625):
Displaying 5 items.
- Abstractions of non-interference security: probabilistic versus possibilistic (Q2018754) (← links)
- A better composition operator for quantitative information flow analyses (Q2167722) (← links)
- An axiomatization of information flow measures (Q2422017) (← links)
- Quantifying information leakage of randomized protocols (Q2517235) (← links)
- Algebra for Quantitative Information Flow (Q5283199) (← links)
