An interval-based abstraction for quantifying information flow

DOI10.1016/J.ENTCS.2009.10.009MaRDI QIDQ7014441zbMATH OpenFDO

Authors Chunyan Mu, David Clark

Publication date 11 March 2025

Full work available at URL https://doi.org/10.1016/J.ENTCS.2009.10.009

zbMATH Keywords

measurementsecurityinformation flow

Mathematics Subject Classification ID

Measures of information, entropy (94A17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Computer security (68M25)

Cites work

• scientific article; zbMATH DE number 1617330 (Why is no real title available?)
• scientific article; zbMATH DE number 3173999 (Why is no real title available?)
• scientific article; zbMATH DE number 3915608 (Why is no real title available?)
• scientific article; zbMATH DE number 3228674 (Why is no real title available?)
• scientific article; zbMATH DE number 3327849 (Why is no real title available?)
• A lattice model of secure information flow
• Abstract interpretation and application to logic programs
• Assessing security threats of looping constructs
• LECTURES ON THE ENTROPY THEORY OF MEASURE-PRESERVING TRANSFORMATIONS
• On the Foundations of Quantitative Information Flow
• Quantifying Information Leakage in Process Calculi
• Quantifying probabilistic information flow in computational reactive systems
• Quantitative Information Flow, Relations and Polymorphic Types
• Quantitative analysis of the leakage of confidential data
• Quantitative static analysis of distributed systems
• Semantics of probabilistic programs

Cited in

(1)

• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

This page was built for publication: An interval-based abstraction for quantifying information flow

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