A Security Kernel for a Multiprocessor Microcomputer
Roger R. Schell · Computer · 1983
An operating system with a security kernel, segmented memory, and multiple processors has been designed for the Intel IAPX 286 microprocessor. Initial performance data show it really works. 11 references.