TY  - RPRT
TI  - On Reductions from Multi-Domain Noninterference to the Two-Level Case
AU  - Oliver Woizekowski
AU  - Ron van der Meyden
PY  - 2016
UR  - https://arxiv.org/abs/1605.00474
ID  - 1605.00474
ER  -