Active Bibliography

409 Extensibility, safety and performance in the SPIN operating system – Brian N. Bershad, Stefan Savage, Przemys Pardyak, Emin Gun Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, Susan Eggers - 1995
689 Efficient Software-Based Fault Isolation – Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham - 1993
615 Exokernel: An Operating System Architecture for Application-Level Resource Management – Dawson R. Engler, M. Frans Kaashoek, James O’toole - 1995
66 The Structure of a Multi-Service Operating System – Timothy Roscoe - 1995
258 The Design and Implementation of an Operating System to Support Distributed Multimedia Applications – Ian Leslie, Derek Mcauley, Richard Black, Timothy Roscoe, Paul Barham, David Evers, Robin Fairbairns, Eoin Hyden - 1996
565 A Lattice Model of Secure Information Flow – Dorothy E. Denning - 1976
1266 The C Programming Language – Dennis M. Ritchie - 1988
506 Cryptography and Data Security – Dorothy E. Denning, Peter, J. Denning - 1982
516 I-TCP: Indirect TCP for mobile hosts – Ajay Bakre, B. R. Badrinath - 1995