Show simple item record

dc.contributor.authorZdancewic, Steveen_US
dc.contributor.authorZheng, Lantianen_US
dc.contributor.authorNystrom, Nathanielen_US
dc.contributor.authorMyers, Andrewen_US
dc.date.accessioned2007-04-09T19:56:29Z
dc.date.available2007-04-09T19:56:29Z
dc.date.issued2001-10-18en_US
dc.identifier.citationhttp://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR2001-1846en_US
dc.identifier.urihttps://hdl.handle.net/1813/5833
dc.description.abstractThis paper presents secure program partitioning, a language-based technique for protecting confidential data during computation in distributed systems containing mutually untrusted hosts. Confidentiality and integrity policies can be expressed by annotating programs with security types that constrain information flow; these programs can then be partitioned automatically to run securely on heterogeneously trusted hosts. The resulting communicating subprograms collectively implement the original program, yet the system as a whole satisfies the security requirements of participating principals without requiring a universally trusted host machine. The experience in applying this methodology and the performance of the resulting distributed code suggest that this is a promising way to obtain secure distributed computation. This Technical Report is an expanded version of the published paper ``Untrusted Hosts and Confidentiality: Secure Program Partitioning.'' The main difference between the two is Appendix A, which contains a correctness proof for the control-transfer protocols described in Section 5.en_US
dc.format.extent859799 bytes
dc.format.mimetypeapplication/postscript
dc.language.isoen_USen_US
dc.publisherCornell Universityen_US
dc.subjectcomputer scienceen_US
dc.subjecttechnical reporten_US
dc.titleSecure Program Partitioningen_US
dc.typetechnical reporten_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Statistics