TY  - RPRT
TI  - A Game-Theoretic Approach to Information-Flow Control via Protocol Composition
AU  - Mário S. Alvim
AU  - Konstantinos Chatzikokolakis
AU  - Yusuke Kawamoto
AU  - Catuscia Palamidessi
PY  - 2018
DO  - 10.3390/e20050382
UR  - https://arxiv.org/abs/1803.10042
ID  - 1803.10042
ER  -