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

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)

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)