
Add to Quick Collection
Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.14/148088
142 Visitors
136 Hits
0 Downloads
- Title
- Compositional closure for Bayes risk in probabilistic noninterference
- Related
- International Colloquium on Automata, Languages, and Programming (37th : 2010) (6 - 10 July 2010 : Bordeaux, France)
- Related
- 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
- DOI
- 10.1007/978-3-642-14162-1_19
- Related
- Lecture notes in computer science Vol. 6199
- Publisher
- Berlin ; New York : Springer
- Date
- 2010
- Author/Creator
- McIver, Annabelle
- Author/Creator
- Meinicke, Larissa
- Author/Creator
- Morgan, Carroll
- Description
- 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.
- Description
- 13 page(s)
- Subject Keyword
- 080200 Computation Theory and Mathematics
- Resource Type
- conference paper
- Organisation
- Macquarie University. Department of Computing
- Identifier
- http://hdl.handle.net/1959.14/148088
- Identifier
- mq:16447
- Identifier
- ISBN:3642141641
- Identifier
- ISSN:0302-9743
- Identifier
- mq-rm-2009011827
- Language
- eng
- Reviewed
