J. S. Shapiro, J. M. Smith, and D. J. Farber. EROS: a fast capability system. In Proceedings of the 17th ACM Symposium on Operating Systems Principles (SOSP'99), Kiawah Island, SC, December 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Managing Kernel Memory Resources from User Level - Haeberlen (2003) (Correct)
....they are needed. When the cache is full, the kernel evicts objects from its cache and writes them back to user level. In this system, user data and kernel metadata need not be strictly separated; they are both stored in ordinary memory and can be maintained entirely at user level. The EROS kernel [46, 47] implements an abstract virtual machine that is based on type safe capabilities. Classical kernel metadata, such as process and address space descriptors, is constructed from capabilities and maintained at user level. In order to avoid parsing and validating these data structures on every access, ....
Jonathan S. Shapiro, Jonathan M. Smith, and David J. Farber. EROS: A fast capability system. In Proceedings of the seventeenth ACM Symposium on Operating systems principles, pages 170--185. ACM Press, Dec 1999.
Dynamic Provisioning of Resource-Assured and Programmable Virtual .. - Isaacs (2000) (2 citations) (Correct)
....capabilities from one holder to another makes the search to nd all instances of a particular capability time consuming, or even impractical in the case of a distributed system. A large number of schemes have been proposed to address this problem, for example [Gligor79, Wilkes79, Wulf81, Karger88, Shapiro99] However proposals for revocation of capabilities tend to be cumbersome and it is notable that no capability based systems are in common use today. The style of revocation used in VServ has di erent properties to that in a capabilitybased system, hence avoiding many of the diculties. The means ....
Jonathan S. Shapiro, Jonathan M. Smith, and David J. Farber. EROS: A Fast Capability System. In Proceedings of the Seventeenth Symposium on Operating Systems Principles (SOSP'99), December 1999. (p 124)
CPCMS: A Configuration Management System Based on - Cryptographic Names Jonathan Self-citation (Shapiro) (Correct)
No context found.
Jonathan S. Shapiro, Jonathan M. Smith, and David J. Farber. EROS: A fast capability system. In Proc. 17th ACM Symposium on Operating Systems Principles, pages 170--185, Kiawah Island Resort, near Charleston, SC, USA, December 1999. ACM.
Paradigm Regained: Abstraction Mechanisms for Access Control - Miller, Shapiro (2003) (2 citations) Self-citation (Shapiro) (Correct)
No context found.
J. S. Shapiro, J. M. Smith, D. J. Farber. "EROS: A Fast Capability System" Proceedings of the 17th ACM Symposium on Operating Systems Principles, December 1999, p. 170-- 185.
Capability Myths Demolished - Miller, Yee, Shapiro (2003) (1 citation) Self-citation (Shapiro) (Correct)
No context found.
J. S. Shapiro, J. M. Smith, D. J. Farber. EROS: A Fast Capability System. Proceedings of the 17 ACM Symposium on Operating Systems Principles, December 1999, p. 170--185.
Design and Implementation of Virtual Private Services - Ioannidis, Bellovin, Smith (2003) Self-citation (Smith) (Correct)
No context found.
Jonathan S. Shapiro, Jonathan M. Smith, and David J. Farber. EROS: a fast capability system. In Proceedings of the 17th ACM Symposium on Operating Systems Principles, pages 170--185, 1999.
Design Evolution of the EROS Single-Level Store - Shapiro, Adams (2002) (1 citation) Self-citation (Shapiro) (Correct)
No context found.
Jonathan S. Shapiro, Jonathan M. Smith, and David J. Farber. EROS: A fast capability system. In Proc. 17th ACM Symposium on Operating Systems Principles, pages 170-- 185, Kiawah Island Resort, near Charleston, SC, USA, December 1999. ACM.
Vulnerabilities in Synchronous IPC Designs - Shapiro (2003) (3 citations) Self-citation (Shapiro) (Correct)
....latency of thread migrating IPC is low enough that applications can be factored into multiple protection domains, each encapsulated by a process boundary and selectively linked by protected, IPC based communication. Domain based isolation is an essential building block for high assurance systems [19, 33, 29, 5, 12, 31]. At least one commercial system has been constructed using this approach to domain enforcement [11] Selected denial of service attacks against the L4 microkernel and its servers (including several re examined here) have been briefly examined in the literature [22] This paper provides an ....
.... While many of the pieces described here rely on several generations of improvement in the EROS system, EROS owes a tremendous debt to its predecessor KeyKOS [11] A great deal of work on thread migrating IPC has been done in the last decade, most notably by Liedtke [20, 21] Ford [8] and Shapiro [31]. Though the KeyKOS capability invocation mechanism [11] predates it, most of the current work on thread migrating IPC derives in some measure from the lightweight remote procedure call work by Bershad [2] Work on packet filtering [26, 24, 6] is similar in flavor to the more restricted ....
J. S. Shapiro, J. M. Smith, and D. J. Farber. EROS: A fast capability system. In Proc. 17th ACM Symposium on Operating Systems Principles, pages 170--185, Kiawah Island Resort, near Charleston, SC, USA, Dec. 1999. ACM.
Design and Implementation of Virtual Private Services - Ioannidis, Bellovin, Ioannidis (2003) Self-citation (Smith) (Correct)
....security model and are implemented in several popular operating systems, such as Solaris and Windows NT [9] The Hydra capability based operating system [16] separated its access control mechanisms from the definition of its security policy. Follow up operating system such as KeyKOS [11] and EROS [19] divide a secure system into compartments. Communication between compartments is mediated by a reference monitor. Our system creates distributed compartments using a centralized policy specification. Traditional firewall work [7] has focused on nodes and enforcement mechanisms rather than overall ....
J. S. Shapiro, J. M. Smith, and D. J. Farber. EROS: a fast capability system. In Proceedings of the 17th ACM Symposium on Operating Systems Principles, pages 170--185, 1999.
A Safety-Oriented Platform for Web Applications - Richard Cox Jacob (Correct)
No context found.
J. S. Shapiro, J. M. Smith, and D. J. Farber. EROS: a fast capability system. In Proceedings of the 17th ACM Symposium on Operating Systems Principles (SOSP'99), Kiawah Island, SC, December 1999.
L4Cars - Elphinstone, Heiser, Huuck, Petters, .. (2005) (Correct)
No context found.
J. S. Shapiro, J. M. Smith, and D. J. Farber, "EROS: A fast capability system," in 17th SOSP, (Charleston, SC, USA), pp. 170--185, Dec 1999.
Detecting Exploit Code Execution in Loadable Kernel Modules - Haizhi Xu Wenliang (Correct)
No context found.
J. S. Shapiro, J. M. Smith, and D. J. Farber. Eros: a fast capability system. In 17th ACM Symposium on Operating Systems principles, Dec. 1999.
User-Level Management of Kernel Memory - Haeberlen, Elphinstone (2003) (1 citation) (Correct)
No context found.
Jonathan S. Shapiro, Jonathan M. Smith, and David J. Farber. EROS: a fast capability system. In Proc. 17th ACM SOSP, pages 170--185, Dec 1999.
A New Protection Model for Component-Based Operating Systems - Law (2001) (4 citations) (Correct)
No context found.
Jonathan S. Shapiro, Jonathan M. Smith, and David J. Farber. EROS: a Fast Capability System. In Proceedings of the 17th ACM Symposium on Operating Systems Principles (SOSP'99), pages 170-185, December 1999. http://www.eros-os.org/.
Finding and Preventing Run-Time Error Handling Mistakes - Westley Weimer George (2004) (4 citations) (Correct)
No context found.
Jonathan S. Shapiro, Jonathan M. Smith, and David J. Farber. EROS: a fast capability system. In Symposium on Operating Systems Principles, pages 170--185, 1999.
Finding and Preventing Run-Time Error Handling Mistakes - Weimer, Necula (2004) (4 citations) (Correct)
No context found.
Jonathan S. Shapiro, Jonathan M. Smith, and David J. Farber. EROS: a fast capability system. In Symposium on Operating Systems Principles, pages 170--185, 1999.
Static support for capability-based programming in Java - Saraswat, Jagadeesan (Correct)
No context found.
J. Shapiro, J. Smith, and D. Farber. EROS: A fast capability system. In Proceedings of the 17th ACM Symposium on Operating Systems Principles, December 1999.
Model Checking One Million Lines of C Code - Hao Chen Drew (2004) (2 citations) (Correct)
No context found.
J. Shapiro, J. Smith, and D. Farber. EROS: a fast capability system. In Proceedings of the 17th ACM Symposium on Operating Systems Principles, 1999.
Ist-2001-33234 - Peer-To-Peer Implementation And (Correct)
No context found.
Jonathan S. Shapiro, Jonathan M. Smith, and David J. Farber. EROS: a fast capability system. In Symposium on Operating Systems Principles, pages 170--185, 1999.
Implementing an Untrusted Operating System on Trusted Hardware - Lie, Thekkath, Horowitz (2003) (6 citations) (Correct)
No context found.
J. S. Shapiro, J. M. Smith, and D. J. Farber. EROS: a fast capability system. In Proceedings of the 17th ACM Symposium on Operating Systems Principles, pages 170--185, 1999.
User-level Management of Kernel Memory - Haeberlen, Elphinstone (2003) (1 citation) (Correct)
No context found.
Jonathan S. Shapiro, Jonathan M. Smith, and David J. Farber. EROS: a fast capability system. In Proc. 17th ACM SOSP, pages 170-185, Dec 1999.
A Review of the Rationale and Architectures of PJama: a.. - Atkinson, Jordan (2000) (Correct)
No context found.
J.S. Shapiro, J.M. Smith, and D.J. Farber. EROS: a fast capability system. In Proceedings of the Seventeenth ACM Symposium on Operating Systems Principles (SOSP'99), pages 170--185. Kiawah Island Resort, near Charleston, South Carolina, December 1999. 94
Recursive Sandboxes: Extending Systrace to Empower Applications - Kurchuk, Keromytis (Correct)
No context found.
Shapiro, Jonathan S., Smith, Jonathan M., and Farber, David J. (1999). EROS: a fast capability system. In Proceedings of the 17th ACM Symposium on Operating Systems Principles, pages 170--185.
User-Level Management of Kernel Memory - Haeberlen, Elphinstone (2003) (1 citation) (Correct)
No context found.
Jonathan S. Shapiro, Jonathan M. Smith, and David J. Farber. EROS: a fast capability system. In Proc. 17th ACM SOSP, pages 170--185, Dec 1999.
User Interaction Design for Secure Systems - Yee (2003) (7 citations) (Correct)
No context found.
J. Shapiro, J. Smith, and D. Farber. EROS: A Fast Capability System. In Proceedings of the 17th ACM Symposium on Op. Sys. Principles (Dec 1999).
First 50 documents
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