Protection mechanisms and the enforcement of security policies

This publication has 19 references indexed in Scilit:

• Certification of programs for secure information flow
  Communications of the ACM, 1977
• Operating System Structures to Support Security and Reliable Software
  ACM Computing Surveys, 1976
• A Language Extension for Controlling Access to Shared Data
  IEEE Transactions on Software Engineering, 1976
• Reflections on an operating system design
  Communications of the ACM, 1976
• Protection in the Hydra Operating System
  ACM SIGOPS Operating Systems Review, 1975
• Towards the design of secure systems
  Software: Practice and Experience, 1975
• Capability-based addressing
  Communications of the ACM, 1974
• A note on the confinement problem
  Communications of the ACM, 1973
• On The Advantages of Tagged Architecture
  IEEE Transactions on Computers, 1973
• Programming semantics for multiprogrammed computations
  Communications of the ACM, 1966