Protection in flexible operating system architectures

Operating Systems Review (ACM)

Volumn 37, Issue 4, 2003, Pages 8-18

  Rippert, Christophe ^a  

^a INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING; MATHEMATICAL MODELS; OPTIMIZATION; PUBLIC POLICY; SECURITY OF DATA;

ACCESS CONTROL; OPERATING SYSTEM ARCHITECTURE; PROTECTION POLICY; SOFTWARE FRAMEWORKS;

COMPUTER OPERATING SYSTEMS;

EID: 15944383876     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/958965.958966     Document Type: Conference Paper

References (9)

1. B. Bershad, T. Anderson, E. Lazowska, and H. Levy. Lightweight Remote Procedure Call. In Proceedings of the 12th ACM Symposium on Operating Systems Principles, 1989.
2. P. Deransart, A. Ed-Dbali, and L. Cervoni. Prolog: The Standard. Springer, 1996.
3. D. R. Engler, M. F. Kasshoek, and J. O'Toole. Exokernel: An Operating System Architecture for Application-Level Resource Management. In Proceedings of the 15th ACM Symposium on Operating Systems Principles, 1995.
4. J-Ph. Fassino, J-B. Stefani, J. Lawall, and G. Muller. THINK: A Software Framework for Component-based Operating System Kernels. In Proceedings of the Usenix Annual Technical Conference, 2002.
5. B. W. Lampson. Protection. In Proceedings of the 5th Princeton Conference on Information Sciences and Systems, 1971.
6. ODP Reference Model, Foundations, ITU-T ISO/IEC Recommendation X.902 International Standard 10746-2, 1995.
7. R. Wahbe, S. Lucco, T. E. Anderson, and S. L. Graham. Efficient Software-Based Fault Isolation. ACM SIGOPS Operating Systems Review, 27(5):203-216, 1993.
8. B. L. Worthington, G. R. Ganger, and Y. N. Patt. Scheduling Algorithms for Modern Disk Drives. In Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and Modeling of Computer Systems, 1994.
9. P. R. Zimmermann. PGP: Source Code and Internals. MIT Press, 1995.