Labels and event processes in the asbestos operating system

This publication has 22 references indexed in Scilit:

• SEDA
  2001
• Protecting privacy using the decentralized label model
  ACM Transactions on Software Engineering and Methodology, 2000
• Flexible control of downloaded executable content
  ACM Transactions on Information and System Security, 1999
• Multilevel security in the UNIX tradition
  Software: Practice and Experience, 1992
• Experiences with the Amoeba distributed operating system
  Communications of the ACM, 1990
• The Confused Deputy
  ACM SIGOPS Operating Systems Review, 1988
• The V distributed system
  Communications of the ACM, 1988
• Formal Models for Computer Security
  ACM Computing Surveys, 1981
• Certification of programs for secure information flow
  Communications of the ACM, 1977
• A lattice model of secure information flow
  Communications of the ACM, 1976