Categorical Information Flow

DOI10.1007/978-3-030-31175-9_19MaRDI QIDQ6489031zbMATH OpenFDO

Authors Tahiry Rabehaja, Annabelle McIver, Carroll Morgan, Georg Struth

Publication date 14 March 2024

Full work available at URL https://doi.org/10.1007/978-3-030-31175-9_19

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Program algebra for quantitative information flow
• scientific article; zbMATH DE number 1522865
• Information dynamics in a categorical setting
• Entropy and attack models in information flow (Invited talk)
• Algebra for quantitative information flow

Cited in

(1)

• Probabilistic predicate transformers. II: Partially observable probability

This page was built for publication: Categorical Information Flow

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