Reducing TCB complexity for security-sensitive applications

This publication has 14 references indexed in Scilit:

• A Nitpicker’s guide to a minimal-complexity secure GUI
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2006
• Implementing an untrusted operating system on trusted hardware
  Published by Association for Computing Machinery (ACM) ,2003
• Xen and the art of virtualization
  Published by Association for Computing Machinery (ACM) ,2003
• Bugs as deviant behavior
  Published by Association for Computing Machinery (ACM) ,2001
• Quantitative analysis of faults and failures in a complex software system
  IEEE Transactions on Software Engineering, 2000
• EROS
  Published by Association for Computing Machinery (ACM) ,1999
• The performance of μ-kernel-based systems
  Published by Association for Computing Machinery (ACM) ,1997
• On micro-kernel construction
  Published by Association for Computing Machinery (ACM) ,1995
• An Empirical Study of a Syntactic Complexity Family
  IEEE Transactions on Software Engineering, 1983
• The protection of information in computer systems
  Proceedings of the IEEE, 1975