@inbook{72d17dd8ae8e4e43983ade6eef98f175,
title = "Composition of channels",
abstract = "As we saw in Chap. 6, our framework for quantitative information flow can provide a robust theory for deriving security properties from a system{\textquoteright}s representation as a channel, as long as we can determine what that channel is — but determining an appropriate channel to model a system is itself often a non-trivial task.",
author = "Alvim, \{M{\'a}rio S.\} and Konstantinos Chatzikokolakis and Annabelle McIver and Carroll Morgan and Catuscia Palamidessi and Geoffrey Smith",
note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2020.",
year = "2020",
month = jan,
day = "1",
doi = "10.1007/978-3-319-96131-6\_8",
language = "English",
series = "Information Security and Cryptography",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "131--145",
booktitle = "Information Security and Cryptography",
}