@article{2978886,
    title = "Quantitative information flow in sequential computer programs",
    author = "Alvim, M.S. and Chatzikokolakis, K. and McIver, A. and Morgan, C. and Palamidessi, C. and Smith, G.",
    journal = "Information Security and Cryptography",
    year = "2020",
    pages = "225-253",
    publisher = "Springer Science and Business Media Deutschland GmbH",
    doi = "10.1007/978-3-319-96131-6_13",
    keywords = "Quantitative information flows",
    abstract = "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."
}