Design and Verification of Secure Systems.

John M. Rushby

Browse the full SOSP paper archive.