Algebraic foundations for quantitative information flow

DOI10.1017/S0960129513000649MaRDI QIDQ5740627zbMATH OpenOpenAlexFDO

Authors Pasquale Malacaria

Publication date 27 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129513000649

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30)

Recommendations

• Information theory and security: Quantitative information flow
• On the Foundations of Quantitative Information Flow
• Recent developments in quantitative information flow (invited tutorial)
• A demonic lattice of information
• The science of quantitative information flow

Cites work

• A lattice model of secure information flow
• A Mathematical Theory of Communication
• Anonymity protocols as noisy channels
• Entropy and semivaluations on semilattices
• scientific article; zbMATH DE number 107482 (Why is no real title available?)
• Information theory and security: Quantitative information flow
• The shadow knows: refinement and security in sequential programs

Cited in

(9)

• A demonic lattice of information
• An algebraic approach for reasoning about information flow
• Program algebra for quantitative information flow
• Secure Multi-party Computation: Information Flow of Outputs and Game Theory
• Information theory and security: Quantitative information flow
• Thermodynamic aspects of confidentiality
• Algebra for quantitative information flow
• On the Compositionality of Quantitative Information Flow
• Information Algebra

This page was built for publication: Algebraic foundations for quantitative information flow

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