Compositional closure for Bayes Risk in probabilistic noninterference

McIver, Annabelle, Meinicke, Larissa and Morgan, Carroll (2010). Compositional closure for Bayes Risk in probabilistic noninterference. In: Samson Abramsky, Cyril Gavoille and Claude Kirchner, Automata, languages and programming: 37th International Colloquium, ICALP 2010: Proceedings, part II. 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), Bordeaux, France, (223-235). 5-10 July 2010. doi:10.1007/978-3-642-14162-1_19

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads

Author McIver, Annabelle
Meinicke, Larissa
Morgan, Carroll
Title of paper Compositional closure for Bayes Risk in probabilistic noninterference
Conference name 37th International Colloquium on Automata, Languages and Programming (ICALP 2010)
Conference location Bordeaux, France
Conference dates 5-10 July 2010
Proceedings title Automata, languages and programming: 37th International Colloquium, ICALP 2010: Proceedings, part II   Check publisher's open access policy
Journal name Lecture Notes in Computer Science   Check publisher's open access policy
Place of Publication Heidelberg, Germany
Publisher Springer
Publication Year 2010
Sub-type Fully published paper
DOI 10.1007/978-3-642-14162-1_19
Open Access Status
ISBN 9783642141614
3642141617
ISSN 0302-9743
1611-3349
Editor Samson Abramsky
Cyril Gavoille
Claude Kirchner
Volume 6199
Issue Part II
Start page 223
End page 235
Total pages 13
Language eng
Formatted Abstract/Summary
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.
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status Non-UQ

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 14 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 14 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Mon, 14 Nov 2011, 15:21:25 EST by Larissa Meinicke on behalf of School of Information Technol and Elec Engineering