Abstract
Data containers enable users to control access to their data while untrusted applications compute on it. However, they require replicating an application inside each container - compromising functionality, programmability, and performance. We propose DATS - a system to run web applications that retains application usability and efficiency through a mix of hardware capability enhanced containers and the introduction of two new primitives modeled after the popular model-view-controller (MVC) pattern. (1) DATS introduces a templating language to create views that compose data across data containers. (2) DATS uses authenticated storage and confinement to enable an untrusted storage service, such as memcached and deduplication, to operate on plain-text data across containers. These two primitives act as robust de-classifiers that allow DATS to enforce non-interference across containers, taking large applications out of the trusted computing base (TCB). We showcase eight different web applications including Gitlab and a Slack-like chat, significantly improve the worstcase overheads due to application replication, and demonstrate usable performance for common-case usage.
Original language | English |
---|---|
Title of host publication | Proceedings of the 23rd International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2018 |
Pages | 722-736 |
Number of pages | 15 |
Volume | 53 |
Edition | 2 |
ISBN (Electronic) | 9781450349116 |
DOIs | |
State | Published - 19 Mar 2018 |
Event | 23rd International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2018 - Williamsburg, United States Duration: 24 Mar 2018 → 28 Mar 2018 |
Conference
Conference | 23rd International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2018 |
---|---|
Country/Territory | United States |
City | Williamsburg |
Period | 24/03/18 → 28/03/18 |
Keywords
- Information declassification
- Information flow control
- Operating systems security
- Web application security
All Science Journal Classification (ASJC) codes
- General Computer Science