Compositional Closure for Bayes Risk in Probabilistic Noninterference

DOI10.1007/978-3-642-14162-1_19zbMath1288.68024arXiv1007.1054OpenAlexW2143476162MaRDI QIDQ3587441

Annabelle McIver, Larissa A. Meinicke, Carroll Morgan

Publication date: 7 September 2010

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1007.1054

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Network protocols (68M12) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (14)

Algebra for Quantitative Information Flow ⋮ A better composition operator for quantitative information flow analyses ⋮ An axiomatization of information flow measures ⋮ On the Additive Capacity Problem for Quantitative Information Flow ⋮ Program algebra for quantitative information flow ⋮ Compositional methods for information-hiding ⋮ Quantifying Vulnerability of Secret Generation Using Hyper-Distributions ⋮ On the Relation between Differential Privacy and Quantitative Information Flow ⋮ Hidden-Markov program algebra with iteration ⋮ Quantifying opacity ⋮ Abstractions of non-interference security: probabilistic versus possibilistic ⋮ Processing text for privacy: an information flow perspective ⋮ An algebraic approach for reasoning about information flow ⋮ Quantifying information leakage of randomized protocols

This page was built for publication: Compositional Closure for Bayes Risk in Probabilistic Noninterference