Building Reliable Secure Computing Systems out of Unreliable Insecure Components.

John E. Dobson, Brian Randell

Browse the full ACSAC paper archive.