Security architecture for component-based operating systems

Proceedings of the 8th ACM SIGOPS European Workshop on Support for Composing Distributed Applications, EW 1998

Volumn , Issue , 1998, Pages 222-228

  Jaeger, Trent ^a   Liedtke, Jochen ^a   Panteleenko, Vsevolod ^a   Park, Yoonho ^a   Islam, Nayeem ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84890791723     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/319195.319229     Document Type: Conference Paper

References (24)

1. J. P. Anderson. Computer security technology planning study. Technical Report ESD-TR-73-51, James P. Anderson and Co., Fort Washington, PA, USA, 1972.
2. L. Badger, D. F. Sterne, D. L. Sherman, K. M. Walker, and S. A. Haghighat. Practical domain and type enforcement for UNIX. In IEEE Symposium on Security and Privacy, pages 66-77, 1995.
3. M. Bishop and M. Dilger. Checking for race conditions in file accesses. Computing Systems, 9(2):131-152, 1996.
4. J. B. Dennis and E. C. Van Horn. Programming semantics for multiprogrammed computations. Communications of the ACM, 9(3):143-155, March 1966.
5. B. Ford, G. Back, G. Benson, J. Lepreau, A. Lin, and O. Shivers. The Flux OSKit: A substrate for kernel and language research. In Proceedings of the 16th Symposium on Operating Systems Principles, 1997.
6. F. S. Gallo. Penguin: Java done right. The Perl Journal, 1(2):10-12, 1996.
7. L. Giuri and P. Iglio. Role templates for content-based access control. In Proceedings of the Second ACM Role-Based Access Control Workshop, November 1997.
8. L. Gong. Java security: present and near future. IEEE Micro, 17(3):14-19, 1997.
9. T. Jaeger, F. Giraud, N. Islam, and J. Liedtke. A role-based access control model for protection domain derivation and management. In Proceedings of the Second ACM Role-Based Access Control Workshop, November 1997.
10. T. Jaeger, J. Liedtke, and N. Islam. Operating system protection for fine-grained programs. In Proceedings of the 7th USENIX Security Symposium, pages 143-156, January 1998.
11. P. A. Karger. Improving Security and Performance for Capability Systems. PhD thesis. University of Cambridge, 1988.
12. J. Liedtke. Improving IPC by kernel design. In Proceedings of the 14th Symposium on Operating Systems Principles, pages 175-187, 1993.
13. E. C. Lupu and M. Sloman. Reconciling role-based management and role-based access control. In Proceedings of the Second ACM Role-Based Access Control Workshop, November 1997.
14. D. Mazieres and M. F. Kaashoek. Secure applications need flexible operating systems. In Proceedings of the Sixth Workshop on Hot Topics in Operating Systems, pages 56-61, May 1997.
15. S. E. Minear. Providing policy control over object operations in a Mach-based system. In Proceedings of the 5th USENIX UNIX Security Symposium, 1995.
16. J. G. Mitchell and et al. An overview of the Spring system. In Proceedings of Compcon, February 1994.
17. J. K. Ousterhout, J. Y. Levy, and B. B. Welch. The Safe-Tcl security model. In Proceedings of the 23 rd USENIX Annual Technical Conference, 1998.
18. R. Rashid, A. Tevanian Jr., M. Young, D. Golub, D. Baron, D. Black, W. J. Bolosky, and J. Chew. Machine-independent virtual memory management for paged uniprocessor and multiprocessor architectures. IEEE Transactions on Computers, 37(8):896-908, August 1988.
19. M. Rozier and et al. Overview of the Chorus distributed operating system. In USENIX Symposium on Micro-kernels and Other Kernel Architectures, pages 39-69, 1992.
20. G. van Rossum. Grail - The browser for the rest of us (draft), 1996. Available at http://monty.cnri.reston. va.us/grail/.
21. J. Vochteloo, K. Elphinstone, S. Russell, and G. Heiser. Protection domain extensions in Mungi. In Proceedings of the Fifth International Workshop on Object Orientation in Operating Systems, pages 161-165, October 1996.
22. D. S. Wallach, D. Balfanz, D. Dean, and E. W. Felten. Extensible security architectures for Java. In Proceedings of the 16th Symposium on Operating Systems Principles, 1997.
23. M. V. Wilkes and R. M. Needham. The Cambridge CAP Computer and Its Operating System. North Holland, 1979.
24. W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. HYDRA: The kernel of a multiprocessor operating system. Communications of the ACM, 17(6):337-345, June 1974.