Formal Analysis of Information Flow in HOL

DOI10.1007/978-3-319-69483-2_17zbMath1498.68053OpenAlexW2766158006MaRDI QIDQ5045392

Osman Hasan, Sofiène Tahar, Tsvetan Dunchev, Ghassen Helali

Publication date: 4 November 2022

Published in: Dependable Software Engineering. Theories, Tools, and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-69483-2_17

zbMATH Keywords

entropytheorem provinghigher-order logicinformation flowgain functiong-leakage

Mathematics Subject Classification ID

Measures of information, entropy (94A17) Formalization of mathematics in connection with theorem provers (68V20) Computer security (68M25) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Formal Analysis of Information Flow in HOL