On reductions from multi-domain noninterference to the two-level case

DOI10.1007/978-3-319-45744-4_26zbMath1499.68062arXiv1605.00474OpenAlexW2346597194MaRDI QIDQ2165480

Ron van der Meyden, Oliver Woizekowski

Publication date: 19 August 2022

Full work available at URL: https://arxiv.org/abs/1605.00474

zbMATH Keywords

noninterferencenondeterminisminformation flowcovert channelspolicies

Mathematics Subject Classification ID

Computer security (68M25)

This page was built for publication: On reductions from multi-domain noninterference to the two-level case