Popek, G.J., et al.: UCLA data secure unix. Proc. 1979 NCC, AFIPS Press, pp.355-364. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
End-To-End Arguments In System Design - Saltzer, Reed, Clark (1984) (417 citations) (Correct)
....typical of large scale operating systems is only an artifact of economic pressures that demanded multiplexing of expensive hardware and therefore a protected supervisor. Most recent system kernelization projects, in fact, have focused at least in part on getting function out of low system levels[16,12]. Though this function movement is inspired by a different kind of correctness argument, it has the side effect of producing an operating system that is more flexible for applications, which is exactly the main thrust of the end to end argument. Conclusions End to end arguments are a kind of ....
Popek, G.J., et al.: UCLA data secure unix. Proc. 1979 NCC, AFIPS Press, pp.355-364.
Exokernel: An Operating System Architecture for.. - Engler, Kaashoek, Jr. (1995) (422 citations) (Correct)
....and Aegis is mainly one of high level philosophy: the Cache Kernel focuses primarily on reliability, rather than securely exporting hardware resources to applications. For example, the Cache Kernel attempts to eliminate all dynamic memory allocation (similar to Popek and Klines Data Secure Unix [34]) Unsurprisingly, this single constraint lowers the kernel interface as compared to traditional operating systems. However, the deemphasis on application flexibility and extensibility is telling; the Cache Kernel is biased towards a server based system structure (for example, it supports only 16 ....
G.J. Popek et al. UCLA data secure UNIX. In Proc. of the 1979 National Computer Conference, pages 355-- 364, 1979.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC