Security architecture for component-based operating systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

Security architecture for component-based operating systems

Full text

Pdf (815 KB)

Source

ACM SIGOPS European Workshop archive
Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications table of contents

Sintra, Portugal

Pages: 222 - 228

Year of Publication: 1998

Authors

Trent Jaeger	IBM Thomas J. Watson Research Center, Hawthorne, NY
Jochen Liedtke	IBM Thomas J. Watson Research Center, Hawthorne, NY
Vsevolod Panteleenko	IBM Thomas J. Watson Research Center, Hawthorne, NY
Yoonho Park	IBM Thomas J. Watson Research Center, Hawthorne, NY
Nayeem Islam	IBM Thomas J. Watson Research Center, Hawthorne, NY

Sponsor

SIGOPS: ACM Special Interest Group on Operating Systems

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 31, Citation Count: 2

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/319195.319229 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	[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 , S. A. Haghighat, Practical Domain and Type Enforcement for UNIX, Proceedings of the 1995 IEEE Symposium on Security and Privacy, p.66, May 08-10, 1995
	3	[3] M. Bishop and M. Dilger. Checking for race conditions in file accesses. Computing Systems, 9(2): 131-152, 1996.
	4	Jack B. Dennis , Earl C. Van Horn, Programming semantics for multiprogrammed computations, Communications of the ACM, v.9 n.3, p.143-155, March 1966 [doi>10.1145/365230.365252]
	5	Bryan Ford , Godmar Back , Greg Benson , Jay Lepreau , Albert Lin , Olin Shivers, The Flux OSKit: a substrate for kernel and language research, Proceedings of the sixteenth ACM symposium on Operating systems principles, p.38-51, October 05-08, 1997, Saint Malo, France
	6	[6] F. S. Gallo. Penguin: Java done right. The Perl Journal, 1(2):10- 12, 1996.
	7	Luigi Giuri , Pietro Iglio, Role templates for content-based access control, Proceedings of the second ACM workshop on Role-based access control, p.153-159, November 06-07, 1997, Fairfax, Virginia, United States [doi>10.1145/266741.266773]
	8	Li Gong, Java Security: Present and Near Future, IEEE Micro, v.17 n.3, p.14-19, May 1997 [doi>10.1109/40.591650]
	9	Trent Jaeger , Frederique Giraud , Nayeem Islam , Jochen Liedtke, A role-based access control model for protection domain derivation and management, Proceedings of the second ACM workshop on Role-based access control, p.95-106, November 06-07, 1997, Fairfax, Virginia, United States [doi>10.1145/266741.266764]
	10	Trent Jaeger , Jochen Liedtke , Nayeem Islam, Operating system protection for fine-grained programs, Proceedings of the 7th conference on USENIX Security Symposium, 1998, p.11-11, January 26-29, 1998, San Antonio, Texas
	11	[11] P. A. Karger. Improving Security and Performance for Capability Systems. PhD thesis, University of Cambridge, 1988.
	12	Jochen Liedtke, Improving IPC by kernel design, Proceedings of the fourteenth ACM symposium on Operating systems principles, p.175-188, December 05-08, 1993, Asheville, North Carolina, United States
	13	Emil Lupu , Morris Sloman, Reconciling role based management and role based access control, Proceedings of the second ACM workshop on Role-based access control, p.135-141, November 06-07, 1997, Fairfax, Virginia, United States [doi>10.1145/266741.266770]
	14	Mazières , M. Kaashoek, Secure Applications Need Flexible Operating Systems, Proceedings of the 6th Workshop on Hot Topics in Operating Systems (HotOS-VI), p.56, May 05-06, 1997
	15	Spencer E. Minear, Providing policy control over object operations in a mach based system, Proceedings of the 5th conference on USENIX UNIX Security Symposium, p.13-13, June 05-07, 1995, Salt Lake City, Utah
	16	[16] J. G. Mitchell and et al. An overview of the Spring system. In Proceedings of Compcon, February 1994.
	17	Jacob Y. Levy , Laurent Demailly , John K. Ousterhout , Brent B. Welch, The safe-Tcl security model, Proceedings of the Annual Technical Conference on USENIX Annual Technical Conference, 1998, p.23-23, June 15-19, 1998, New Orleans, Louisiana
	18	Richard Rashid , Avadis Tevanin, Jr. , Michael Young , David Golub , Robert Baron, Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures, IEEE Transactions on Computers, v.37 n.8, p.896-908, August 1988 [doi>10.1109/12.2242]
	19	Marc Rozier, Chorus, Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures, p.39-70, April 27-28, 1992
	20	[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 , G. Heiser, Protection domain extensions in Mungi, Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96), p.161, October 27-28, 1996
	22	Dan S. Wallach , Dirk Balfanz , Drew Dean , Edward W. Felten, Extensible security architectures for Java, Proceedings of the sixteenth ACM symposium on Operating systems principles, p.116-128, October 05-08, 1997, Saint Malo, France
	23	M. V Wilkes, The Cambridge CAP computer and its operating system (Operating and programming systems series), North-Holland Publishing Co., Amsterdam, The Netherlands, 1979
	24	W. Wulf , E. Cohen , W. Corwin , A. Jones , R. Levin , C. Pierson , F. Pollack, HYDRA: the kernel of a multiprocessor operating system, Communications of the ACM, v.17 n.6, p.337-345, June 1974 [doi>10.1145/355616.364017]

CITED BY 2

	Winfried E. Kühnhauser, Root Kits: an operating systems viewpoint, ACM SIGOPS Operating Systems Review, v.38 n.1, p.12-23, January 2004
	Greg Law , Julie McCann, Decomposition of preemptive scheduling in the Go! component-based operating system, Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system, September 17-20, 2000, Kolding, Denmark