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 条

[41] PROBABILISTIC ESTIMATING - MATHEMATICS AND APPLICATIONS - CLOSURE
DIEKMANN, JE
JOURNAL OF CONSTRUCTION ENGINEERING AND MANAGEMENT-ASCE, 1984, 110 (04): : 524 - 525
[42] PROBABILISTIC EVALUATION OF WELDED STRUCTURES - CLOSURE
HALDAR, A
JOURNAL OF STRUCTURAL ENGINEERING-ASCE, 1983, 109 (10): : 2483 - 2483
[43] CONVENTIONAL AND PROBABILISTIC EMBANKMENT DESIGN - CLOSURE
MCGUFFEY, V
GRIVAS, D
IORI, J
KYFOR, Z
JOURNAL OF GEOTECHNICAL ENGINEERING-ASCE, 1985, 111 (04): : 553 - 553
[44] LIMITING RISK OF BAYES AND EMPIRICAL BAYES ESTIMATORS .2. EMPIRICAL BAYES CASE
EFRON, B
MORRIS, C
JOURNAL OF THE AMERICAN STATISTICAL ASSOCIATION, 1972, 67 (337) : 130 - &
[45] INFORMATION INEQUALITIES FOR THE BAYES RISK
BROWN, LD
GAJEK, L
ANNALS OF STATISTICS, 1990, 18 (04): : 1578 - 1594
[46] A Proof System for Compositional Verification of Probabilistic Concurrent Processes
Mio, Matteo
Simpson, Alex
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2013), 2013, 7794 : 161 - 176
[47] Probabilistic Compositional Reasoning for Guaranteeing Fault Tolerance Properties
Blech, Jan Olaf
PRINCIPLES OF DISTRIBUTED SYSTEMS, 2011, 7109 : 222 - 234
[48] Compositional reasoning for probabilistic finite-state behaviors
Deng, YX
Palamidessi, C
Pang, J
PROCESSES, TERMS AND CYCLES: STEPS ON THE ROAD TO INFINITY: ESSAYS DEDICATED TO JAN WILLEM KLOP ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 3838 : 309 - 337
[49] Compositional Analysis of Probabilistic Timed Graph Transformation Systems
Maximova, Maria
Schneider, Sven
Giese, Holger
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2021), 2021, 12649 : 196 - 217
[50] Probabilistic Knowledge Graph Construction: Compositional and Incremental Approaches
Kim, Dongwoo
Xie, Lexing
Ong, Cheng Soon
CIKM'16: PROCEEDINGS OF THE 2016 ACM CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT, 2016, : 2257 - 2262

← 1 2 3 4 5 →