Trustworthy Systems

Categorical information flow

Authors

Tahiry Rabehaja, Annabelle McIver, Carroll Morgan and Georg Struth

    School of Computer Science and Engineering
    UNSW,
    Sydney 2052, Australia

Abstract

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

  @inbook{Rabehaja_MMS_19,
    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},
    editor           = {Alvim, M{\'a}rio S. and Chatzikokolakis, Kostas and Olarte, Carlos and Valencia, Frank},
    isbn             = {978-3-030-31175-9},
    pages            = {329--343},
    paperurl         = {https://trustworthy.systems/publications/papers/Rabehaja_MMS_19.pdf},
    publisher        = {Springer International Publishing},
    title            = {Categorical Information Flow},
    url              = {https://doi.org/10.1007/978-3-030-31175-9_19},
    year             = {2019}
  }

Download