LOCK trek: navigating uncharted space

This publication has 6 references indexed in Scilit:

• On Access Checking in Capability-Based Systems
  IEEE Transactions on Software Engineering, 1987
• Extending The Non-Interference Version Of MLS For Sat
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1986
• TheUNIXSystem: UNIXOperating System Security
  AT&T Bell Laboratories Technical Journal, 1984
• Social processes and proofs of theorems and programs
  Communications of the ACM, 1979
• The protection of information in computer systems
  Proceedings of the IEEE, 1975
• Capability-based addressing
  Communications of the ACM, 1974