Program algebra for quantitative information flow

DOI10.1016/j.jlamp.2019.04.002zbMath1423.68106OpenAlexW2938848173WikidataQ114851572 ScholiaQ114851572MaRDI QIDQ2423771

Carroll Morgan, Annabelle McIver, Tahiry Rabehaja

Publication date: 20 June 2019

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2019.04.002

zbMATH Keywords

securityrefinementinformation flowcompositional reasoningprobabilistic semanticsDalenius desideratum

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Uses Software

• Haskell
• PrivateLR

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Mathematical Theory of Communication
• A probabilistic PDL
• A predicate/state transformer semantics for Bayesian learning
• Compositional Closure for Bayes Risk in Probabilistic Noninterference
• On the Foundations of Quantitative Information Flow
• The Shadow Knows: Refinement of Ignorance in Sequential Programs
• Refinement Calculus
• Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow
• Abstraction, Refinement and Proof for Probabilistic Systems
• On Choosing and Bounding Probability Metrics
• Algebra for Quantitative Information Flow
• Algebraic foundations for quantitative information flow
• Differential Privacy

This page was built for publication: Program algebra for quantitative information flow