Terra
Top Cited Papers
- 19 October 2003
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 193-206
- https://doi.org/10.1145/945445.945464
Abstract
No abstract availableThis publication has 23 references indexed in Scilit:
- Cover feature - A trusted open platformComputer, 2003
- An empirical study of operating systems errorsPublished by Association for Computing Machinery (ACM) ,2001
- Building the IBM 4758 secure coprocessorComputer, 2001
- Extensibility safety and performance in the SPIN operating systemPublished by Association for Computing Machinery (ACM) ,1995
- ExokernelPublished by Association for Computing Machinery (ACM) ,1995
- On micro-kernel constructionPublished by Association for Computing Machinery (ACM) ,1995
- Authentication in the Taos operating systemACM Transactions on Computer Systems, 1994
- Authentication in distributed systemsACM Transactions on Computer Systems, 1992
- A retrospective on the VAX VMM security kernelIEEE Transactions on Software Engineering, 1991
- Program confinement in KVM/370Published by Association for Computing Machinery (ACM) ,1977