TY - CHAP
T1 - Quantitative information flow in sequential computer programs
AU - Alvim, Mário S.
AU - Chatzikokolakis, Konstantinos
AU - McIver, Annabelle
AU - Morgan, Carroll
AU - Palamidessi, Catuscia
AU - Smith, Geoffrey
N1 - Publisher Copyright:
© Springer Nature Switzerland AG 2020.
PY - 2020/1/1
Y1 - 2020/1/1
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/85091580524
U2 - 10.1007/978-3-319-96131-6_13
DO - 10.1007/978-3-319-96131-6_13
M3 - Chapter
AN - SCOPUS:85091580524
T3 - Information Security and Cryptography
SP - 225
EP - 253
BT - Information Security and Cryptography
PB - Springer Science and Business Media Deutschland GmbH
ER -