Department of Defense Trusted Computer System Evaluation Criteria

This publication has 6 references indexed in Scilit:

• Security Controls for Computer Systems: Report of Defense Science Board Task Force on Computer Security
  Published by Rand Corporation ,1979
• Program confinement in KVM/370
  Published by Association for Computing Machinery (ACM) ,1977
• Audit and evaluation of computer security
  Published by National Institute of Standards and Technology (NIST) ,1977
• A lattice model of secure information flow
  Communications of the ACM, 1976
• Security Kernel validation in practice
  Communications of the ACM, 1976
• A note on the confinement problem
  Communications of the ACM, 1973