Lyle A. Cox Jr., Roger R. Schell. The Structure of a Security Kernel for the Z8000 Multiprocessor. In 1981 IEEE Symposium on Security and Privacy, Oakland, CA, USA, April 27-29, 1981. pages 124-132, IEEE Computer Society, 1981. [doi]
Abstract is missing.