Τίτλος:
Quantitative information flow in sequential computer programs
Γλώσσες Τεκμηρίου:
Αγγλικά
Περίληψη:
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.
Συγγραφείς:
Alvim, M.S.
Chatzikokolakis, K.
McIver, A.
Morgan, C.
Palamidessi, C.
Smith, G.
Περιοδικό:
Information Security and Cryptography
Εκδότης:
Springer Science and Business Media Deutschland GmbH
Λέξεις-κλειδιά:
Quantitative information flows
DOI:
10.1007/978-3-319-96131-6_13