@article{Alvim_KMMPS_19, author = {Mário S. Alvim and Konstantinos Chatzikokolakis and Annabelle McIver and Carroll Morgan and Catuscia Palamidessi and Geoffrey Smith}, doi = {https://doi.org/10.1016/j.tcs.2018.10.016}, issn = {0304-3975}, journal = {Theoretical Computer Science}, keywords = {Information flow, Vulnerability, Information theory, Confidentiality, Axioms}, note = {In memory of Maurice Nivat, a founding father of Theoretical Computer Science --- Part I}, pages = {32-54}, paperurl = {https://trustworthy.systems/publications/papers/Alvim_KMMPS_19.pdf}, title = {An axiomatization of information flow measures}, url = {https://www.sciencedirect.com/science/article/pii/S0304397518306376}, volume = {777}, year = {2019} }