Proving noninterference in multi-agent systems - Müller, Alexander Christian (2020)