John E. Dobson Brian Randell Building Reliable Secure Computing Systems out of Unreliable Insecure Components. 187-193 1986 conf/sp/1986 S&P db/conf/sp/sp1986.html#DobsonR86 https://doi.org/10.1109/SP.1986.10018 https://doi.ieeecomputersociety.org/10.1109/SP.1986.10018