Compositional closure for Bayes risk in probabilistic noninterference

Annabelle McIver*, Larissa Meinicke, Carroll Morgan

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

54 Citations (Scopus)


We give a quantitative sequential model for noninterference security with probability (but not demonic choice), and a novel refinement order that we prove to be the greatest compositional relation consistent with an "elementary" order based on Bayes Risk. This compositional closure complements our earlier work defining refinement similarly for qualitative noninterference with demonic choice (but not probability). The Three-Judges Protocol illustrates our model's utility: with compositionality, the embedded sub-protocols can be treated in isolation.

Original languageEnglish
Title of host publicationAutomata, Languages and Programming - 37th International Colloquium, ICALP 2010, Proceedings
EditorsSamson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis
Place of PublicationBerlin; Heidelberg
PublisherSpringer, Springer Nature
Number of pages13
Volume6199 LNCS
EditionPART 2
ISBN (Print)3642141617, 9783642141614
Publication statusPublished - 2010
Event37th International Colloquium on Automata, Languages and Programming, ICALP 2010 - Bordeaux, France
Duration: 6 Jul 201010 Jul 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
NumberPART 2
Volume6199 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349


Other37th International Colloquium on Automata, Languages and Programming, ICALP 2010


Dive into the research topics of 'Compositional closure for Bayes risk in probabilistic noninterference'. Together they form a unique fingerprint.

Cite this