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 条

[11] Probabilistic noninterference for multi-threaded programs
Sabelfeld, A
Sands, D
13TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 2000, : 200 - 214
[12] Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference
Murray, Toby
Sison, Robert
Pierzchalski, Edward
Rizkallah, Christine
2016 IEEE 29TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2016), 2016, : 417 - 431
[13] Performance of empirical Bayes estimation techniques used in probabilistic risk assessment
Gribok, Andrei
Agarwal, Vivek
Yadav, Vaibhav
RELIABILITY ENGINEERING & SYSTEM SAFETY, 2020, 201
[14] Improved typings for probabilistic noninterference in a multi-threaded language
Smith, Geoffrey
JOURNAL OF COMPUTER SECURITY, 2006, 14 (06) : 591 - 626
[15] Probabilistic Fuzzy Naive Bayes
Moura, Gabriel
Roisenberg, Mauro
2015 BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS 2015), 2015, : 246 - 251
[16] Probabilistic Compositional Semantics, Purely
Grove, Julian
Bernardy, Jean-Philippe
NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, JSAI-ISAI 2021 WORKSHOPS, JURISIN 2021, LENLS18, SCIDOCA 2021, KANSEI-AI 2021, AND AI-BIZ 2021, 2023, 13856 : 242 - 256
[17] COMPOSITIONAL VERIFICATION OF PROBABILISTIC PROCESSES
LARSEN, KG
SKOU, A
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 630 : 456 - 471
[18] A generalized Bayes framework for probabilistic clustering
Rigon, Tommaso
Herring, Amy H.
Dunson, David B.
BIOMETRIKA, 2023, 110 (03) : 559 - 578
[19] A compositional approach to probabilistic knowledge compilation
Dal, Giso H.
Laarman, Alfons W.
Hommersom, Arjen
Lucas, Peter J. F.
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2021, 138 : 38 - 66
[20] Probabilistic Origins of Compositional Mental Representations
Feldman, Jacob
PSYCHOLOGICAL REVIEW, 2024, 131 (03) : 599 - 624

← 1 2 3 4 5 →