Secure composition of systems.

John A. McDermid, Qi Shi

Browse the full ACSAC paper archive.