Trustworthy Systems

Categorical information flow


Tahiry Rabehaja, Annabelle McIver, Carroll Morgan and Georg Struth

    School of Computer Science and Engineering
    Sydney 2052, Australia


We propose a categorical model for information flows of correlated 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.

BibTeX Entry

    author           = {Rabehaja, Tahiry and McIver, Annabelle and Morgan, Carroll and Struth, Georg},
    booktitle        = {The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and
                        Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday},
    doi              = {10.1007/978-3-030-31175-9_19},
    isbn             = {978-3-030-31175-9},
    pages            = {329--343},
    paperurl         = {},
    publisher        = {Springer International Publishing},
    title            = {Categorical Information Flow},
    url              = {},
    year             = {2019}