Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy

DOI10.1007/978-3-642-41071-0_10MaRDI QIDQ5166664zbMATH OpenOpenAlexFDO

Authors Ghassen Helali, Osman Hasan, Sofiène Tahar

Publication date 8 July 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-41071-0_10

zbMATH Keywords

belief-min-entropyhigher-order logicHOL4information flowinformation theorymin-entropytheorem provingvulnerability

Mathematics Subject Classification ID

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

Recommendations

• An algebraic approach for reasoning about information flow
• Measuring information integrity using belief min-entropy
• An axiomatization of information flow measures
• Formal analysis of information flow in HOL
• scientific article; zbMATH DE number 972578
• Precise quantitative information flow analysis -- a symbolic approach
• Decidability of Parameterized Probabilistic Information Flow
• Computing Information Flow Using Symbolic Model-Checking

Cited in

(3)

• Quantifying leakage in the presence of unreliable sources of information
• Formalization of entropy measures in HOL
• Formal analysis of information flow in HOL

Describes a project that uses

Uses Software

• HOL

This page was built for publication: Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy

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