@misc{indiciae42d1af9f1551, title = {On Reductions from Multi-Domain Noninterference to the Two-Level Case}, author = {Oliver Woizekowski and Ron van der Meyden}, year = {2016}, url = {https://arxiv.org/abs/1605.00474}, note = {Source identifier: 1605.00474} }