The schematic protection model

This publication has 9 references indexed in Scilit:

• Analysis of Acyclic Attenuating Systems for the SSR Protection Model
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1985
• Selective and locally controlled transport of privileges
  ACM Transactions on Programming Languages and Systems, 1984
• Formal Models for Computer Security
  ACM Computing Surveys, 1981
• Formal Models of Capability-Based Protection Systems
  IEEE Transactions on Computers, 1981
• A Linear Time Algorithm for Deciding Subject Security
  Journal of the ACM, 1977
• Operating System Structures to Support Security and Reliable Software
  ACM Computing Surveys, 1976
• Protection in operating systems
  Communications of the ACM, 1976
• The protection of information in computer systems
  Proceedings of the IEEE, 1975
• Programming semantics for multiprogrammed computations
  Communications of the ACM, 1966