Quantitative information flow in sequential computer programs

Mário S. Alvim; Konstantinos Chatzikokolakis; Annabelle McIver; Carroll Morgan; Catuscia Palamidessi; Geoffrey Smith

doi:10.1007/978-3-319-96131-6_13

Quantitative information flow in sequential computer programs

Mário S. Alvim
, Konstantinos Chatzikokolakis
, Annabelle McIver
, Carroll Morgan
, Catuscia Palamidessi
, Geoffrey Smith

Universidade Federal de Minas Gerais
University of Athens
Macquarie University
University of New South Wales
Florida International University

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

Résumé

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.

langue originale	Anglais
titre	Information Security and Cryptography
Editeur	Springer Science and Business Media Deutschland GmbH
Pages	225-253
Nombre de pages	29
Les DOIs	https://doi.org/10.1007/978-3-319-96131-6_13
état	Publié - 1 janv. 2020

Série de publications

Nom	Information Security and Cryptography
ISSN (imprimé)	1619-7100
ISSN (Electronique)	2197-845X

Accès au document

10.1007/978-3-319-96131-6_13

Contient cette citation

@inbook{1ff2fdab126a44799ea7755ddbdc9055,

title = "Quantitative information flow in sequential computer programs",

abstract = "Until this point, we have modeled systems as channels: either concretely as matrices of type \$\$\textbackslash{}mathcal\{X\}\textbackslash{}rightarrow\textbackslash{}mathcal\{Y\}\$\$ for some input X and observation Y, or abstractly as functions \$\$\textbackslash{}mathbb\{D\}\textbackslash{}mathcal\{X\}\textbackslash{}rightarrow\textbackslash{}mathbb\{D\}\textasciicircum{}\{2\}\textbackslash{}mathcal\{X\}\$\$ on \$\$\textbackslash{}mathcal\{X\}\$\$ alone.",

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\_13",

language = "English",

series = "Information Security and Cryptography",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "225--253",

booktitle = "Information Security and Cryptography",

}

Quantitative information flow in sequential computer programs. / Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle et al.
Information Security and Cryptography. Springer Science and Business Media Deutschland GmbH, 2020. p. 225-253 (Information Security and Cryptography).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

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

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.

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 -

Quantitative information flow in sequential computer programs

Résumé

Série de publications

Accès au document

Empreinte digitale

Contient cette citation