Reducing TCB size by using untrusted components
- 19 September 2004
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Xen and the art of virtualizationPublished by Association for Computing Machinery (ACM) ,2003
- TerraPublished by Association for Computing Machinery (ACM) ,2003
- Improving the reliability of commodity operating systemsPublished by Association for Computing Machinery (ACM) ,2003
- Security architectures revisitedPublished by Association for Computing Machinery (ACM) ,2002
- The performance of μ-kernel-based systemsPublished by Association for Computing Machinery (ACM) ,1997
- Security Mechanisms in High-Level Network ProtocolsACM Computing Surveys, 1983