Proof of separability A verification technique for a class of security kernels

This publication has 10 references indexed in Scilit:

• A penetration analysis of a Burroughs Large System
  ACM SIGOPS Operating Systems Review, 1981
• Design and verification of secure systems
  Published by Association for Computing Machinery (ACM) ,1981
• A Technique for Proving Specifications are Multilevel Secure
  Published by Defense Technical Information Center (DTIC) ,1980
• A penetration analysis of the Michigan Terminal System
  ACM SIGOPS Operating Systems Review, 1980
• A model for verification of data security in operating systems
  Communications of the ACM, 1978
• Proving multilevel security of a system design
  Published by Association for Computing Machinery (ACM) ,1977
• Security Kernel validation in practice
  Communications of the ACM, 1976
• Penetrating an operating system: a study of VM/370 integrity
  IBM Systems Journal, 1976
• A note on the confinement problem
  Communications of the ACM, 1973
• Computer Security Technology Planning Study. Volume 2
  Published by Defense Technical Information Center (DTIC) ,1972