Applying noninterference to composition of systems: a more practical approach.

Qi Shi, John A. McDermid, Jonathan D. Moffett

Browse the full ACSAC paper archive.