Categorical information flow

Tahiry Rabehaja; Annabelle McIver; Carroll Morgan; Georg Struth

doi:10.1007/978-3-030-31175-9_19

Categorical information flow

Tahiry Rabehaja^*, Annabelle McIver, Carroll Morgan, Georg Struth

^*Corresponding author for this work

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

1 Citation (Scopus)

Abstract

We propose a categorical model for information flows of cor- related secrets in programs. We show how programs act as transformers of such correlations, and that they can be seen as natural transformations between probabilistic constructors. We also study some basic properties of the construction.

Original language	English
Title of host publication	The art of modelling computational systems
Subtitle of host publication	a journey from logic and concurrency to security and privacy
Editors	Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia
Place of Publication	Cham, Switzerland
Publisher	Springer, Springer Nature
Pages	329-343
Number of pages	15
ISBN (Electronic)	9783030311759
ISBN (Print)	9783030311742
DOIs	https://doi.org/10.1007/978-3-030-31175-9_19
Publication status	Published - 2019

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11760 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-030-31175-9_19

Cite this

Rabehaja, T., McIver, A., Morgan, C., & Struth, G. (2019). Categorical information flow. In M. S. Alvim, K. Chatzikokolakis, C. Olarte, & F. Valencia (Eds.), The art of modelling computational systems: a journey from logic and concurrency to security and privacy (pp. 329-343). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11760 LNCS). Springer, Springer Nature. https://doi.org/10.1007/978-3-030-31175-9_19

Rabehaja, Tahiry ; McIver, Annabelle ; Morgan, Carroll et al. / Categorical information flow. The art of modelling computational systems: a journey from logic and concurrency to security and privacy. editor / Mário S. Alvim ; Kostas Chatzikokolakis ; Carlos Olarte ; Frank Valencia. Cham, Switzerland : Springer, Springer Nature, 2019. pp. 329-343 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{3594a462b89340d6925f596b9a1032ac,

title = "Categorical information flow",

abstract = "We propose a categorical model for information flows of cor- related secrets in programs. We show how programs act as transformers of such correlations, and that they can be seen as natural transformations between probabilistic constructors. We also study some basic properties of the construction.",

author = "Tahiry Rabehaja and Annabelle McIver and Carroll Morgan and Georg Struth",

year = "2019",

doi = "10.1007/978-3-030-31175-9_19",

language = "English",

isbn = "9783030311742",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer, Springer Nature",

pages = "329--343",

editor = "Alvim, {M{\'a}rio S.} and Kostas Chatzikokolakis and Carlos Olarte and Frank Valencia",

booktitle = "The art of modelling computational systems",

address = "United States",

}

Rabehaja, T, McIver, A, Morgan, C & Struth, G 2019, Categorical information flow. in MS Alvim, K Chatzikokolakis, C Olarte & F Valencia (eds), The art of modelling computational systems: a journey from logic and concurrency to security and privacy. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11760 LNCS, Springer, Springer Nature, Cham, Switzerland, pp. 329-343. https://doi.org/10.1007/978-3-030-31175-9_19

Categorical information flow. / Rabehaja, Tahiry; McIver, Annabelle; Morgan, Carroll et al.
The art of modelling computational systems: a journey from logic and concurrency to security and privacy. ed. / Mário S. Alvim; Kostas Chatzikokolakis; Carlos Olarte; Frank Valencia. Cham, Switzerland: Springer, Springer Nature, 2019. p. 329-343 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11760 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

TY - CHAP

T1 - Categorical information flow

AU - Rabehaja, Tahiry

AU - McIver, Annabelle

AU - Morgan, Carroll

AU - Struth, Georg

PY - 2019

Y1 - 2019

N2 - We propose a categorical model for information flows of cor- related secrets in programs. We show how programs act as transformers of such correlations, and that they can be seen as natural transformations between probabilistic constructors. We also study some basic properties of the construction.

AB - We propose a categorical model for information flows of cor- related secrets in programs. We show how programs act as transformers of such correlations, and that they can be seen as natural transformations between probabilistic constructors. We also study some basic properties of the construction.

UR - http://www.scopus.com/inward/record.url?scp=85075042389&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-31175-9_19

DO - 10.1007/978-3-030-31175-9_19

M3 - Chapter

AN - SCOPUS:85075042389

SN - 9783030311742

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 329

EP - 343

BT - The art of modelling computational systems

A2 - Alvim, Mário S.

A2 - Chatzikokolakis, Kostas

A2 - Olarte, Carlos

A2 - Valencia, Frank

PB - Springer, Springer Nature

CY - Cham, Switzerland

ER -

Rabehaja T, McIver A, Morgan C, Struth G. Categorical information flow. In Alvim MS, Chatzikokolakis K, Olarte C, Valencia F, editors, The art of modelling computational systems: a journey from logic and concurrency to security and privacy. Cham, Switzerland: Springer, Springer Nature. 2019. p. 329-343. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-31175-9_19

Categorical information flow

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this