The logic of protection

This publication has 13 references indexed in Scilit:

• Some experience in interactive system development and application
  Proceedings of the IEEE, 1975
• GENERALIZED TOPOLOGIES AND THEIR RELEVANCE TO GENERAL SYSTEM† Bibliography of Works of the č ech Topological School
  International Journal of General Systems, 1975
• Protection structures
  Computer, 1974
• The treatment of data types in EL1
  Communications of the ACM, 1974
• On The Advantages of Tagged Architecture
  IEEE Transactions on Computers, 1973
• Modularity
  Lecture Notes in Computer Science, 1973
• On the implementation of security measures in information systems
  Communications of the ACM, 1972
• Interrupt driven programming
  Communications of the ACM, 1971
• An interrupt based organization for management information systems
  Communications of the ACM, 1970
• Algebraic semantics for modal logics I
  The Journal of Symbolic Logic, 1966