Issues in kernel design

This publication has 9 references indexed in Scilit:

• Reflections on an operating system design
  Communications of the ACM, 1976
• Security Kernel validation in practice
  Communications of the ACM, 1976
• A verifiable protection system
  Published by Association for Computing Machinery (ACM) ,1975
• On attaining reliable software for a secure operating system
  Published by Association for Computing Machinery (ACM) ,1975
• The protection of information in computer systems
  Proceedings of the IEEE, 1975
• The UNIX time-sharing system
  Communications of the ACM, 1974
• HYDRA
  Communications of the ACM, 1974
• Protection structures
  Computer, 1974
• A note on the confinement problem
  Communications of the ACM, 1973