Compositional Closure for Bayes Risk in Probabilistic Noninterference-Reference-Cited by-同舟云学术

Compositional Closure for Bayes Risk in Probabilistic Noninterference

Published:2010 Issue: Volume: Page:223-235
ISSN:0302-9743
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

McIver Annabelle,Meinicke Larissa,Morgan Carroll

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-14162-1_19.pdf

Reference20 articles.

1. Lecture Notes in Computer Science;C. Braun,2008

2. ENTCS;C. Braun,2009

3. Chatzikokolakis, K., Palamidessi, C., Panangaden, P.: Probability of error in information-hiding protocols. In: Proc. CSF, pp. 341–354. IEEE, Los Alamitos (2007)

4. Chaum, D.: The Dining Cryptographers problem: Unconditional sender and recipient untraceability. Jnl. Cryptol. 1(1), 65–75 (1988)

5. Goguen, J.A., Meseguer, J.: Unwinding and inference control. In: Proc. IEEE Symp on Security and Privacy, pp. 75–86. IEEE, Los Alamitos (1984)

Cited by 42 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Analyzing the Shuffle Model Through the Lens of Quantitative Information Flow;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07

2. Optimal Obfuscation Mechanisms via Machine Learning;2020 IEEE 33rd Computer Security Foundations Symposium (CSF);2020-06

3. Program algebra for quantitative information flow;Journal of Logical and Algebraic Methods in Programming;2019-08

4. An axiomatization of information flow measures;Theoretical Computer Science;2019-07

5. Generalized Entropies and Metric-Invariant Optimal Countermeasures for Information Leakage Under Symmetric Constraints;IEEE Transactions on Information Theory;2019-02