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 条

[21] Combining hidden Markov models with probabilistic Bayes networks to conduct business forecasting and risk simulation
Wang, Chih-Hsuan
Chen, Jen-Zen
SOFT COMPUTING, 2021, 25 (13) : 8773 - 8784
[22] Combining hidden Markov models with probabilistic Bayes networks to conduct business forecasting and risk simulation
Chih-Hsuan Wang
Jen-Zen Chen
Soft Computing, 2021, 25 : 8773 - 8784
[23] Bayes-SWRL: A Probabilistic Extension of SWRL
Liu, Yu
Chen, Shihong
Li, Shuoming
Wang, Yunhua
2013 9TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY (CIS), 2013, : 702 - 706
[24] Experimental probabilistic pragmatics beyond Bayes' theorem
Pfeifer, Niki
ZEITSCHRIFT FUR SPRACHWISSENSCHAFT, 2016, 35 (01): : 89 - 96
[25] BAYES RISK OF ASYMPTOTICALLY BAYES SEQUENTIAL TESTS
LORDEN, G
ANNALS OF MATHEMATICAL STATISTICS, 1966, 37 (02): : 542 - &
[26] CONTINUITY OF BAYES RISK
WIJSMAN, RA
ANNALS OF MATHEMATICAL STATISTICS, 1970, 41 (03): : 1083 - &
[27] Compositional Reliability Analysis for Probabilistic Component Automata
Rodrigues, Pedro
Lupu, Emil
Kramer, Jeff
2015 IEEE/ACM 7TH INTERNATIONAL WORKSHOP ON MODELING IN SOFTWARE ENGINEERING, 2015, : 19 - 24
[28] Compositional Metric Reasoning with Probabilistic Process Calculi
Gebler, Daniel
Larsen, Kim Guldstrand
Tini, Simone
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2015), 2015, 9034 : 230 - 245
[29] Probabilistic Compositional Embeddings for Multimodal Image Retrieval
Neculai, Andrei
Chen, Yanbei
Akata, Zeynep
2022 IEEE/CVF CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION WORKSHOPS, CVPRW 2022, 2022, : 4546 - 4556
[30] Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Feng, Lu
Kwiatkowska, Marta
Parker, David
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2011, 6603 : 2 - 17

← 1 2 3 4 5 →