Quantitative information flow in sequential computer programs
Book Chapter
Alvim, MS, Chatzikokolakis, K, McIver, A et al. (2020). Quantitative information flow in sequential computer programs
. 225-253. 10.1007/978-3-319-96131-6_13
Alvim, MS, Chatzikokolakis, K, McIver, A et al. (2020). Quantitative information flow in sequential computer programs
. 225-253. 10.1007/978-3-319-96131-6_13
Until this point, we have modeled systems as channels: either concretely as matrices of type $$\mathcal{X}\rightarrow\mathcal{Y}$$ for some input X and observation Y, or abstractly as functions $$\mathbb{D}\mathcal{X}\rightarrow\mathbb{D}^{2}\mathcal{X}$$ on $$\mathcal{X}$$ alone.
