@inproceedings{2b3b37eacc164ddc8293de25583ce655,
title = "Compositional closure for Bayes risk in probabilistic noninterference",
abstract = "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.",
author = "Annabelle McIver and Larissa Meinicke and Carroll Morgan",
year = "2010",
doi = "10.1007/978-3-642-14162-1_19",
language = "English",
isbn = "3642141617",
volume = "6199 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
number = "PART 2",
pages = "223--235",
editor = "Samson Abramsky and Cyril Gavoille and Claude Kirchner and {Meyer auf der Heide}, Friedhelm and Spirakis, {Paul G.}",
booktitle = "Automata, Languages and Programming - 37th International Colloquium, ICALP 2010, Proceedings",
address = "United States",
edition = "PART 2",
note = "37th International Colloquium on Automata, Languages and Programming, ICALP 2010 ; Conference date: 06-07-2010 Through 10-07-2010",
}