TY - JOUR
TI - Quantitative information flow in sequential computer programs
AU - Alvim, M.S.
AU - Chatzikokolakis, K.
AU - McIver, A.
AU - Morgan, C.
AU - Palamidessi, C.
AU - Smith, G.
JO - Information Security and Cryptography
PY - 2020
VL - null
TODO - null
SP - 225-253
PB - Springer Science and Business Media Deutschland GmbH
SN - null
TODO - 10.1007/978-3-319-96131-6_13
TODO - Quantitative information flows
TODO - 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. © Springer Nature Switzerland AG 2020.
ER -