Improving Xen security through disaggregation

This publication has 10 references indexed in Scilit:

• Can We Make Operating Systems Reliable and Secure?
  Computer, 2006
• Reducing TCB complexity for security-sensitive applications
  Published by Association for Computing Machinery (ACM) ,2006
• A Nitpicker’s guide to a minimal-complexity secure GUI
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2006
• Reducing TCB size by using untrusted components
  Published by Association for Computing Machinery (ACM) ,2004
• Xen and the art of virtualization
  Published by Association for Computing Machinery (ACM) ,2003
• Terra
  Published by Association for Computing Machinery (ACM) ,2003
• The distribution of faults in a large industrial software system
  ACM SIGSOFT Software Engineering Notes, 2002
• On micro-kernel construction
  ACM SIGOPS Operating Systems Review, 1995
• Implementing remote procedure calls
  ACM Transactions on Computer Systems, 1984
• Software errors and complexity: an empirical investigation0
  Communications of the ACM, 1984