Roger R. Schell. A Security Kernel for a Multiprocessor Microcomputer. IEEE Computer, 16(7):47-53, 1983. [doi]
@article{Schell83-1, title = {A Security Kernel for a Multiprocessor Microcomputer}, author = {Roger R. Schell}, year = {1983}, doi = {10.1109/MC.1983.1654442}, url = {http://doi.ieeecomputersociety.org/10.1109/MC.1983.1654442}, researchr = {https://researchr.org/publication/Schell83-1}, cites = {0}, citedby = {0}, journal = {IEEE Computer}, volume = {16}, number = {7}, pages = {47-53}, }