John E. Dobson, Brian Randell. Building Reliable Secure Computing Systems out of Unreliable Insecure Components. In 17th Annual Computer Security Applications Conference (ACSAC 2001), 11-14 December 2001, New Orleans, Louisiana, USA. pages 162-173, IEEE Computer Society, 2001. [doi]
Abstract is missing.