An axiomatization of information flow measures

DOI10.1016/J.TCS.2018.10.016MaRDI QIDQ2422017zbMATH OpenOpenAlexWikidataFDO

Authors Yanyan Li

Publication date 18 June 2019

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2018.10.016

zbMATH Keywords

\(g\)-vulnerabilityaxiomsconfidentialityinformation flowinformation theory

Mathematics Subject Classification ID

Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30)

Recommendations

• Recent developments in quantitative information flow (invited tutorial)
• The science of quantitative information flow
• On the Compositionality of Quantitative Information Flow
• Information theory and security: Quantitative information flow
• Quantitative information flow and applications to differential privacy

Cites work

• A Kantorovich-monadic powerdomain for information hiding, with probability and nondeterminism
• A Mathematical Theory of Communication
• Abstract channels and their robust information-leakage ordering
• Anonymity protocols as noisy channels
• Assessing security threats of looping constructs
• Axiomatic characterizations of information measures
• Compositional closure for Bayes risk in probabilistic noninterference
• Differential Privacy
• Elements of Information Theory
• Hidden-Markov program algebra with iteration
• scientific article; zbMATH DE number 3143967 (Why is no real title available?)
• scientific article; zbMATH DE number 3173999 (Why is no real title available?)
• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 3365044 (Why is no real title available?)
• On the Foundations of Quantitative Information Flow
• Online learning and online convex optimization
• Quantitative information flow under generic leakage functions and adaptive adversaries
• Quantitative Information Flow, Relations and Polymorphic Types

Cited in

(12)

• The science of quantitative information flow
• Information flow under budget constraints
• Quantifying Vulnerability of Secret Generation Using Hyper-Distributions
• Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows
• scientific article; zbMATH DE number 5158914 (Why is no real title available?)
• The optimum leakage principle for analyzing multi-threaded programs
• Formal analysis of information flow in HOL
• Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy
• An automated quantitative information flow analysis for concurrent programs
• Core-concavity, Gain Functions and Axioms for Information Leakage
• The model and metrics of awareness in confidential information. I: Potential awareness
• The Liang-Kleeman information flow: theory and applications

Describes a project that uses

Uses Software

• PrivateLR

This page was built for publication: An axiomatization of information flow measures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2422017)