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

DOI10.1007/978-3-642-41071-0_10zbMath1409.68094OpenAlexW2139824189MaRDI QIDQ5166664

Osman Hasan, Ghassen Helali, 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

theorem provinghigher-order logicinformation theoryvulnerabilitymin-entropyinformation flowHOL4belief-min-entropy

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)

Uses Software

• HOL

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