References
- J.H. Morris, “Protection ia programming languages,” CACM, vol. 16, no. 1 (1972), 15.
- E.A. Feustel, “On the advantages of tagged architecture,” IEEE Transactions on Computers C-22, vol. 7 (July), 1973, 644.
- R.S. Fabry, “The case for capability based computers,” Fourth Symposium on Operating System Principles, Yorktown Heights, October 1973.
- A.K. Jones, “Protection in programmed systems,” PHD thesis, Carnegie-Mellon University, 1973.
- B.W. Lampson, “Dynamic protection structures,” AFIPS Proc. 35, FJCC, 1969, 27.
- B.W. Lampson, “Protection,” Proc. Fifth Princeton Symposium on Information Sciences and Systems, Princeton University (March), 1971, 437. Reprinted in Operating Systems Review, vol. 8, no. 1, 1974, 18.
- W. Wulf, “HYDRA - The Kernel of a multiprocessor operating system,” CACM, vol. 17, no. 6, 1974, 337.
- M.J. Spier, T.N. Hastings, and D.N. Cutler, “An experimental implementation of the Kernel/Domain architecture,” Operating Systems Review, vol. 7, no. 4, 1973, 8.
- M.J. Spier, “A model implementation for protective domains,” International Journal of Computer and Information Sciences, vol. 2, no. 3, 1973.
- G.S. Graham and P.J. Denning, “Protection - principles and practices,” AFIPS Proc, vol. 40, sjcc, 1972, 417.
- W.L. Schiller, “Design of a security kernel for the PDP-11/45,” MITRE Corp., Tech. Rep. ESD-TR-73–294, December 1973.
- S.B. Lipner (Chairman), “A panel session - Security kernels, AFIPS Proc, vol. 43, NCC, 1974, 973.
- G.R. Andrews, “COPS - A protection mechanism for computer systems,” PHD thesis. Computer Science Group, University of Washington, 1974.
- C.A.R. Hoare, “Monitors: an operating system structuring concept,” CACM vol. 17, no. 10, 1974, 549.
- P. Brinch Hansen, “The nucleus of a multiprogramming system,” CACM, vol. 13, no. 4, 1970, 238–41, 250.
- M.S. Grushcow, “The kernel of the SUE operating system,” CIPS Session ‘72, Canadian Information Processing Society, June, 1972.
- A.K. Jones and W.A. Wulf, “Toward the design of secure systems,” International Workshop on Protection in Operating Systems, IRIA/LABORIA, Rocquencourt, France, August 1974, 121.
- A.R. Saxena and T.H. Bredt, “A structured specification of a hierarchical operating system,” International Conference on Reliable Software, Los Angeles, April 1975, 310.
- G.H. MacEwen, “An experimental kernel for the PDP-11/45- Introduction,” Technical Report #35, Dept. of Computing and Information Science, Queen’s University, 1974.