Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.14/148088
13 Visitors15 Hits0 Downloads
Compositional closure for Bayes risk in probabilistic noninterference
International Colloquium on Automata, Languages, and Programming (37th : 2010) (6 - 10 July 2010 : Bordeaux, France)
Abramsky, Samson; Gavoille, Cyril; Kirchner, Claude; Meyer auf der Heide, Friedhelm and Spirakis, Paul G.. Automata, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, proceedings, p.223-235
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.