A Practical Intel SGX Setting for Linux Containers in the Cloud

被引:16
|
作者
Tian, Dave [1 ]
Choi, Joseph, I [1 ]
Hernandez, Grant [1 ]
Traynor, Patrick [1 ]
Butler, Kevin R. B. [1 ]
机构
[1] Univ Florida, Gainesville, FL 32611 USA
基金
美国国家科学基金会;
关键词
Cloud; Containers; Security; SGX;
D O I
10.1145/3292006.3300030
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
With close to native performance, Linux containers are becoming the de facto platform for cloud computing. While various solutions have been proposed to secure applications and containers in the cloud environment by leveraging Intel SGX, most cloud operators do not yet offer SGX as a service. This is likely due to a number of security, scalability, and usability concerns coming from both cloud providers and users. Cloud operators worry about the security guarantees of unofficial SDKs, limited support for remote attestation within containers, limited physical memory for the Enclave Page Cache (EPC) making it difficult to support hundreds of enclaves, and potential DoS attacks against EPC by malicious users. Meanwhile, end users need to worry about careful program partitioning to reduce the TCB and adapting legacy applications to use SGX. We note that most of these concerns are the result of an incomplete infrastructure, from the OS to the application layer. We address these concerns with lxcsgx, which allows SGX applications to run inside containers while also: enabling SGX remote attestation for containerized applications, enforcing EPC memory usage control on a per-container basis, providing a general software TPM using SGX to augment legacy applications, and supporting partitioning with a GCC plugin. We then retrofit Nginx/OpenSSL and Memcached using the software TPM and SGX partitioning to defend against known and potential attacks. Thanks to the small EPC footprint of each enclave, we are able to run up to 100 containerized Memcached instances without EPC swapping. Our evaluation shows the overhead introduced by lxcsgx is less than 6.9% for simple SGX applications, 9.5% for Nginx/OpenSSL, and 20.9% for containerized Memcached.
引用
收藏
页码:255 / 266
页数:12
相关论文
共 50 条
  • [1] SCONE: Secure Linux Containers with Intel SGX
    Arnautov, Sergei
    Trach, Bohdan
    Gregor, Franz
    Knauth, Thomas
    Martin, Andre
    Priebe, Christian
    Lind, Joshua
    Muthukumaran, Divya
    O'Keeffe, Dan
    Stillwell, Mark L.
    Goltzsche, David
    Eyers, David
    Kapitza, Rudiger
    Pietzuch, Peter
    Fetzer, Christof
    [J]. PROCEEDINGS OF OSDI'16: 12TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, 2016, : 689 - 703
  • [2] Practical Enclave Malware with Intel SGX
    Schwarz, Michael
    Weiser, Samuel
    Gruss, Daniel
    [J]. DETECTION OF INTRUSIONS AND MALWARE, AND VULNERABILITY ASSESSMENT (DIMVA 2019), 2019, 11543 : 177 - 196
  • [3] EnclavePoSt: A Practical Proof of Storage-Time in Cloud via Intel SGX
    Zhang, Yang
    You, Weijing
    Jia, Shijie
    Liu, Limin
    Li, Ziyi
    Qian, Wenfei
    [J]. SECURITY AND COMMUNICATION NETWORKS, 2022, 2022
  • [4] Switchless Calls Made Practical in Intel SGX
    Tian, Hongliang
    Zhang, Qiong
    Yan, Shoumeng
    Rudnitsky, Alex
    Shacham, Liron
    Yariv, Ron
    Milshten, Noam
    [J]. PROCEEDINGS OF THE 3RD WORKSHOP ON SYSTEM SOFTWARE FOR TRUSTED EXECUTION (SYSTEX'18), 2018, : 22 - 27
  • [5] Secure Cloud Micro Services Using Intel SGX
    Brenner, Stefan
    Hundt, Tobias
    Mazzeo, Giovanni
    Kapitza, Rudiger
    [J]. DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, DAIS 2017, 2017, 10320 : 177 - 191
  • [6] Performance of Trusted Computing in Cloud Infrastructures with Intel SGX
    Gjerdrum, Anders T.
    Pettersen, Robert
    Johansen, Havard D.
    Johansen, Dag
    [J]. CLOSER: PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, 2017, : 668 - 675
  • [7] Secure IoT Data Analytics in Cloud via Intel SGX
    Islam, Md Shihabul
    Ozdayi, Mustafa Safa
    Khan, Latifur
    Kantarcioglu, Murat
    [J]. 2020 IEEE 13TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING (CLOUD 2020), 2020, : 43 - 52
  • [8] Pbsx: A practical private boolean search using Intel SGX
    Jiang, Qin
    Qi, Yong
    Qi, Saiyu
    Zhao, Wenjia
    Lu, Youshui
    [J]. INFORMATION SCIENCES, 2020, 521 : 174 - 194
  • [9] Practical and effective sandboxing for Linux containers
    Wan, Zhiyuan
    Lo, David
    Xia, Xin
    Cai, Liang
    [J]. EMPIRICAL SOFTWARE ENGINEERING, 2019, 24 (06) : 4034 - 4070
  • [10] Proofs of Ownership on Encrypted Cloud Data via Intel SGX
    You, Weijing
    Chen, Bo
    [J]. APPLIED CRYPTOGRAPHY AND NETWORK SECURITY WORKSHOPS, ACNS 2020, 2020, 12418 : 400 - 416