Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, and Andrew C. Myers. Untrusted hosts and confidentiality: Secure program partitioning. In ACM Symposium on Operating Systems Principles (SOSP), 2001.  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Partitionable Services: A Framework for Seamlessly.. - Ivan, Harman, Allen, .. (2002) (5 citations) (Correct)
....our framework treats these uniformly by introducing the notion of application specific properties, specific values for which can be required before a component is instantiated. This last point is related, albeit working at a component granularity, to recent work on secure program partitioning [9], which uses variable level security annotations to split programs so that the resulting program complies with various security constraints. 6. Limitations and Future Work The current implementation of the framework suffers from two limitations, which we intend to address as part of our future ....
S. Zdancewic et al. Untrusted Hosts and Confidentiality: Secure Program Partitioning. Proc. of the 18th ACM Symposium on Operating Systems Principles (SOSP), 2001.
Separating Protection and Resource Management in Operating.. - Lie, Thekkath, Horowitz (2002) (Correct)
....security critical portions of an application in XOM mode, we can minimize the performance penalty of the XOM and operating systemoverheads. We are investigating methods for partitioning applications into secure sections and in12 secure sections by building on work that has been done in this area [1, 18]. Second, we would like to minimize the physical memory used for the xhash segment described in Section 4.6. Our idea is to eliminate the reserved segment and to introduce a translation table, called the XOM TLB to hold the mapping between a page of data values and the page that contain the ....
S. Zdancewic, L. Zheng, N. Nystrom, and A. C. Myers. Untrusted hosts and confidentiality: Secure program partitioning. In Proceedings of the 18th Symposium on Operating Systems Principles, pages 1--14, October 2001. 14
Distributed Program Sampling - Liblit, Aiken, Zheng (2003) (2 citations) Self-citation (Zheng) (Correct)
No context found.
S. Zdancewic, L. Zheng, N. Nystrom, and A. C. Myers. Untrusted hosts and confidentiality: Secure program partitioning. In Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP'01), pages 1--14. Chateau Lake Louise, Ban#, Alberta, Canada, Oct. 2001. Appeared as ACM Operating Systems Review 35.5.
Enforcing Robust Declassification - Myers, al. (2004) (4 citations) Self-citation (Zdancewic Myers) (Correct)
No context found.
S. Zdancewic, L. Zheng, N. Nystrom, and A. C. Myers. Untrusted hosts and confidentiality: Secure program partitioning. In Proc. ACM Symp. on Operating System Principles, pages 1--14, Oct. 2001.
Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (80 citations) Self-citation (Myers) (Correct)
No context found.
S. Zdancewic, L. Zheng, N. Nystrom, and A. C. Myers, "Untrusted hosts and confidentiality: Secure program partitioning," in Proc. ACM Symp. on Operating System Principles, Oct. 2001, pp. 1--14.
Polyglot: An Extensible Compiler Framework for Java - Nystrom, Clarkson, Myers (2003) (17 citations) Self-citation (Nystrom Myers) (Correct)
.... using Polyglot, for example: Jif is a Java extension that provides information flow control and features to ensure the confidentiality and integrity of data [25] Jif split is an extension to Jif that partitions programs across multiple hosts based on their security requirements [37]. PolyJ is a Java extension that supports bounded parametric polymorphism [26] Param is an abstract extension that provides support for parameterized classes. This extension is not a complete language, but instead includes code implementing lazy substitution of type parameters. Jif, ....
Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, and Andrew C. Myers. Untrusted hosts and confidentiality: Secure program partitioning. In Proc. 18th ACM Symp. on Operating System Principles (SOSP), pages 1--14, Banff, Canada, October 2001.
Bug Isolation via Remote Program Sampling - Liblit, Aiken, Zheng, Jordan (2003) (15 citations) Self-citation (Zheng) (Correct)
....a small bit of information from many, many users; any single run has little revelatory power. Some data, or some parts of execution, may be so sensitive that even this di#use information leakage is unacceptable. Several type based analyses under the broad heading of secure information flow [7, 26, 28] may be helpful here. Such systems statically identify parts of a program that manipu The Netscape Quality Feedback Agent is a feature that gathers predefined technical information about Communicator and sends it back to the Netscape software development team so they can improve future ....
S. Zdancewic, L. Zheng, N. Nystrom, and A. C. Myers. Untrusted hosts and confidentiality: Secure program partitioning. In Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP'01), pages 1--14. Chateau Lake Louise, Ban#, Alberta, Canada, Oct. 2001. Appeared as ACM Operating Systems Review 35.5.
Sampling User Executions for Bug Isolation - Liblit, Aiken, Zheng, Jordan (2003) (1 citation) Self-citation (Zheng) (Correct)
....here. Privacy and security are concerns with both social and technological dimensions. It may be possible to address some of the technological facets using techniques drawn from secure information flow, which statically identify sensitive data that should not be revealed to outside observers [8]. Our statistical models afford a degree of anonymity as well, as they combine many runs into one aggregate from which individual samples can no longer be recovered. Adaptive refinement of instrumentation based on early results would allow us to focus in more quickly on targeted bugs while ....
S. Zdancewic, L. Zheng, N. Nystrom, and A. C. Myers. Untrusted hosts and confidentiality: Secure program partitioning. In Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP'01), pages 1--14. Chateau Lake Louise, Banff, Alberta, Canada, Oct. 2001. Appeared as ACM Operating Systems Review 35.5.
Language-Based Information-Flow Security - Sabelfeld, Myers (2003) (80 citations) Self-citation (Myers) (Correct)
.... [49] 50] procedures [63] sound security analysis [3] declassification [2] 4] 64] 65] functions [5] nondeterminism [17] 66] termination [67] admissibility [68] 69] exceptions [7] 14] 67] threads [6] timing [10] relative security [70] objects [7] 13] distribution [71], 72] probability [9] 11] quantitative security [73] 74] expressiveness concurrency covert channels security policies Fig. 4. Evolution of language based information flow. For example, procedures may have polymorphic security types so that their invocation can be adjusted to either ....
....that enforces timing sensitive noninterference for a language that features both multithreading and message passing. Relatively little work has addressed the problem of information flow in a distributed system that incorporates mutual distrust and arbitrary component failure. Zdancewic et al. [71] propose and implement an architecture called secure program partitioning to address these issues. The goal of this architecture is to protect the confidentiality of multiple principals who do not trust the other principals and have only partial (and differing) trust in the host machines available ....
[Article contains additional citation context not shown here]
S. Zdancewic, L. Zheng, N. Nystrom, and A. C. Myers, "Untrusted hosts and confidentiality: Secure program partitioning," in Proc. ACM Symp. on Operating System Principles, Oct. 2001, pp. 1--14.
Model-Carrying Code: A Practical Approach for Safe .. - Sekar.. (2003) (9 citations) (Correct)
No context found.
Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, and Andrew C. Myers. Untrusted hosts and confidentiality: Secure program partitioning. In ACM Symposium on Operating Systems Principles (SOSP), 2001.
A Unifying Approach to the Security of Distributed and.. - Mantel, Sabelfeld (2002) (1 citation) (Correct)
No context found.
S. Zdancewic, L. Zheng, N. Nystrom, and A. C. Myers. Untrusted hosts and confidentiality: Secure program partitioning. In Proceedings of the ACM Symposium on Operating System Principles, pages 1--14, Oct. 2001.
Model-Carrying Code: A Practical Approach for Safe .. - Sekar.. (2003) (9 citations) (Correct)
No context found.
Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, and Andrew C. Myers. Untrusted hosts and confidentiality: Secure program partitioning. In ACM Symposium on Operating Systems Principles (SOSP), 2001.
Information Flow Control among Objects: Taking Foreign Objects.. - Chou (2003) (2 citations) (Correct)
No context found.
S. Zdancewic, L. Zheng, N. Nystrom, and A. C. Myers, "Untrusted Hosts and Confidentiality: Secure Program Partitioning", Proc. 18th ACM Symp. Operating Systems Principles, 2001.
Type-Based Security for Mobile Computing: Integrity.. - Nobuko Yoshida.. (2004) (Correct)
No context found.
Zdancewic, S. Zheng, L., Nystrom N., Myers, A., Untrusted Hosts and Confidentiality: Secure Program Partitioning, SOSP01, ACM, 2001. 3
Type-Based Distributed Access Control (Extended Abstract) - Chothia, Duggan, Vitek (2003) (Correct)
No context found.
S. Zdancewic, L. Zheng, N. Nystrom, and A. C. Myers. Untrusted hosts and confidentiality: Secure program partitioning. In Symposium on Operating Systems Principles, 2001.
Model-Carrying Code: A Practical Approach for Safe .. - Sekar.. (2003) (9 citations) (Correct)
No context found.
Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, and Andrew C. Myers. Untrusted hosts and confidentiality: Secure program partitioning. In ACM Symposium on Operating Systems Principles (SOSP), 2001.
Channel Dependent Types for Higher-Order Mobile Processes.. - Yoshida (2004) (4 citations) (Correct)
No context found.
Zdancewic, S. Zheng, L., Nystrom N., Myers, A., Untrusted Hosts and Confidentiality: Secure Program Partitioning, SOSP01, ACM, 2001. 15
Model-Carrying Code: A Practical Approach for Safe .. - Sekar.. (2003) (9 citations) (Correct)
No context found.
Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, and Andrew C. Myers. Untrusted hosts and confidentiality: Secure program partitioning. In ACM Symposium on Operating Systems Principles (SOSP), 2001.
Open and Survivable Embedded Systems - Angelos Keromytis Stephen (Correct)
No context found.
S. Zdancewic, L. Zheng, N. Nystrim, and A. C. Myers. Untrusted Hosts and Confidentiality: Secure Program Partitioning. In ACM Symposium on Operating Systems Principles, October 2001. 9
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