EROS: A Principle-Driven Operating System from the Ground Up
暂无分享,去创建一个
[1] Norman Hardy,et al. KeyKOS architecture , 1985, OPSR.
[2] Gernot Heiser,et al. Mungi: A distributed single-address-space operating system , 1994 .
[3] Butler W. Lampson,et al. Reflections on an operating system design , 1976, CACM.
[4] Edward F. Gehringer. Capability architectures and small objects , 1982 .
[5] Maurice V. Wilkes,et al. The Cambridge CAP computer and its operating system (Operating and programming systems series) , 1979 .
[6] Jonathan M. Smith,et al. EROS: a fast capability system , 1999, SOSP.
[7] Sam Weber,et al. Verifying the EROS confinement mechanism , 2000, Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000.
[8] Jonathan S. Shapiro,et al. The KeyKOS Nanokernel Architecture , 1992, USENIX Workshop on Microkernels and Other Kernel Architectures.
[9] Robbert van Renesse,et al. Using Sparse Capabilities in a Distributed Operating System , 1986, ICDCS.
[10] C. S. Wallace,et al. A Password-Capability System , 1986, Comput. J..
[11] Jerome H. Saltzer,et al. The protection of information in computer systems , 1975, Proc. IEEE.
[12] William A. Wulf,et al. HYDRA/C.Mmp, An Experimental Computer System , 1981 .
[13] Henry M. Levy,et al. Capability-Based Computer Systems , 1984 .
[14] Butler W. Lampson,et al. A note on the confinement problem , 1973, CACM.