TY  - RPRT
TI  - An Algebraic Approach for Reasoning About Information Flow
AU  - Arthur Américo
AU  - Mário S. Alvim
AU  - Annabelle McIver
PY  - 2018
UR  - https://arxiv.org/abs/1801.08090
ID  - 1801.08090
ER  -