Dobson, John E., and Brian Randell. Building Reliable Secure Computing Systems out of Unreliable Insecure Components In IEEE Symposium on Security and Privacy . Oakland, California, USA, 1986.