VISE: Combining Intel SGX and Homomorphic Encryption for Cloud Industrial Control Systems

被引:21
作者
Coppolino, Luigi [1 ]
D'Antonio, Salvatore [1 ]
Formicola, Valerio [1 ]
Mazzeo, Giovanni [1 ]
Romano, Luigi [1 ]
机构
[1] Univ Naples Parthenope, Dept Engn, I-80133 Naples, NA, Italy
基金
欧盟地平线“2020”;
关键词
Cloud computing; Sensors; Integrated circuits; Servers; Industrial control; Security; Monitoring; Trusted computing; industrial control systems; Intel SGX; homomorphic encryption; cloud security;
D O I
10.1109/TC.2020.2995638
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Protecting data-in-use from privileged attackers is challenging. New CPU extensions (notably: Intel SGX) and cryptographic techniques (specifically: Homomorphic Encryption) can guarantee privacy even in untrusted third-party systems. HE allows sensitive processing on ciphered data. However, it is affected by i) a dramatic ciphertext expansion making HE unusable when bandwidth is narrow, ii) unverifiable conditional variables requiring off-premises support. Intel SGX allows sensitive processing in a secure enclave. Unfortunately, it is i) strictly bonded to the hosting server making SGX unusable when the live migration of cloud VMs/Containers is desirable, ii) limited in terms of usable memory, which is in contrast with resource-consuming data processing. In this article, we propose the VIrtual Secure Enclave (VISE), an approach that effectively combines the two aforementioned techniques, to overcome their limitations and ultimately make them usable in a typical cloud setup. VISE moves the execution of sensitive HE primitives (e.g., encryption) to the cloud in a remotely attested SGX enclave, and then performs sensitive processing on HE data-outside the enclave-leveraging all the memory resources available. We demonstrate that VISE meets the challenging security and performance requirements of a substantial application in the Industrial Control Systems domain. Our experiments prove the practicability of the proposed solution.
引用
收藏
页码:711 / 724
页数:14
相关论文
共 40 条
  • [1] Migrating SGX Enclaves with Persistent State
    Alder, Fritz
    Kurnikov, Arseny
    Paverd, Andrew
    Asokan, N.
    [J]. 2018 48TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), 2018, : 195 - 206
  • [2] A survey on data leakage prevention systems
    Alneyadi, Sultan
    Sithirasenan, Elankayer
    Muthukkumarasamy, Vallipuram
    [J]. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2016, 62 : 137 - 152
  • [3] Anati Ittai., Innovative technology for CPU based attestation and sealing, August 2013
  • [4] [Anonymous], 2017, SECURE CLOUD BASED S, DOI [10.3233/978-1-61499-674-3-291, DOI 10.3233/978-1-61499-674-3-291]
  • [5] [Anonymous], 2018, KVM SGX
  • [6] [Anonymous], 2007, MULTISENSOR DATA FUS
  • [7] [Anonymous], 2018, KUBERNETES SGX
  • [8] [Anonymous], 2016, CVE 2016 1906 KUBERN
  • [9] A survey of architectures and scenarios in satellite-based wireless sensor networks: system design aspects
    Celandroni, N.
    Ferro, E.
    Gotta, A.
    Oligeri, G.
    Roseti, C.
    Luglio, M.
    Bisio, I.
    Cello, M.
    Davoli, F.
    Panagopoulos, A. D.
    Poulakis, M.
    Vassaki, S.
    De Cola, T.
    Marchitti, M. A.
    Hu, Y. F.
    Pillai, P.
    Verma, S.
    Xu, K.
    Acar, G.
    [J]. INTERNATIONAL JOURNAL OF SATELLITE COMMUNICATIONS AND NETWORKING, 2013, 31 (01) : 1 - 38
  • [10] Chandramouli R., 2019, Methodology for Enabling Forensic Analysis Using Hypervisor Vulnerabilities Data