Experiments in information flow analysis

DOI10.1007/978-3-030-33636-3_1zbMath1434.68111OpenAlexW2981258479MaRDI QIDQ2176669

Annabelle McIver

Publication date: 5 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-33636-3_1

zbMATH Keywords

securityconfidentialityquantitative information flowprobabilistic program semantics

Mathematics Subject Classification ID

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

This page was built for publication: Experiments in information flow analysis