TY - RPRT TI - Information flow in a distributed security setting AU - Ana Almeida Matos AU - Jan Cederquist PY - 2019 UR - https://arxiv.org/abs/1901.01111 ID - 1901.01111 ER -