Compositional Closure for Bayes Risk in Probabilistic Noninterference

被引：0

作者：

McIver, Annabelle ^{[1
]}

Meinicke, Larissa ^{[1
]}

Morgan, Carroll ^{[2
]}

机构：

[1] Macquarie Univ, Dept Comp Sci, N Ryde, NSW 2109, Australia

[2] Univ New South Wales, Sch Comp Sci & Engn, Sydney, NSW 2052, Australia

来源：

AUTOMATA, LANGUAGES AND PROGRAMMING, PT II | 2010年 / 6199卷

基金：

澳大利亚研究理事会;

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：223 / +

页数：3

共 50 条

[1] Formalizing Probabilistic Noninterference
Popescu, Andrei
Hoelzl, Johannes
Nipkow, Tobias
CERTIFIED PROGRAMS AND PROOFS, CPP 2013, 2013, 8307 : 259 - 275
[2] Assumptions and Guarantees for Compositional Noninterference
Mantel, Heiko
Sands, David
Sudbrock, Henning
2011 IEEE 24TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2011, : 218 - 232
[3] Computational probabilistic noninterference
Michael Backes
Birgit Pfitzmann
International Journal of Information Security, 2004, 3 (1) : 42 - 60
[4] Probabilistic noninterference through weak probabilistic bisimulation
Smith, G
16TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2003, : 3 - 13
[5] Compositional noninterference from first principles
Morgan, Carroll
FORMAL ASPECTS OF COMPUTING, 2012, 24 (01) : 3 - 26
[6] Probabilistic noninterference in a concurrent language
Volpano, D
Smith, G
11TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP - PROCEEDINGS, 1998, : 34 - 43
[7] Compositional noninterference on hardware weak memory models
Coughlin, Nicholas
Smith, Graeme
SCIENCE OF COMPUTER PROGRAMMING, 2022, 217
[8] Checking probabilistic noninterference using JOANA
Snelting, Gregor
Giffhorn, Dennis
Graf, Juergen
Hammer, Christian
Hecker, Martin
Mohr, Martin
Wasserrab, Daniel
IT-INFORMATION TECHNOLOGY, 2014, 56 (06): : 280 - 287
[9] Noninterference Analysis of Reversible Probabilistic Systems
Esposito, Andrea
Aldini, Alessandro
Bernardo, Marco
FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2024, 2024, 14678 : 39 - 59
[10] A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
Aldini, Alessandro
Bernardo, Marco
FOUNDATIONS AND APPLICATIONS OF SECURITY ANALYSIS, 2009, 5511 : 18 - 33

← 1 2 3 4 5 →