Stanley R. Ames Jr., Morrie Gasser, Roger R. Schell. Security Kernel Design and Implementation: An Introduction. IEEE Computer, 16(7):14-22, 1983. [doi]
@article{AmesGS83, title = {Security Kernel Design and Implementation: An Introduction}, author = {Stanley R. Ames Jr. and Morrie Gasser and Roger R. Schell}, year = {1983}, doi = {10.1109/MC.1983.1654439}, url = {http://doi.ieeecomputersociety.org/10.1109/MC.1983.1654439}, researchr = {https://researchr.org/publication/AmesGS83}, cites = {0}, citedby = {0}, journal = {IEEE Computer}, volume = {16}, number = {7}, pages = {14-22}, }