【TEE论文】(HETEE)Enabling rack-scale confidential computing using heterogeneous TEE(2020 SP)

已于 2024-01-23 13:13:12 修改
阅读量878 收藏 17
点赞数 20
分类专栏： 可信执行环境TEE 文章标签： 可信计算技术 安全架构 安全 硬件架构 系统安全
于 2024-01-22 23:52:51 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_43543209/article/details/135746050
版权

摘要

  • 旨在基于最先进的数据中心技术（如资源池和 PCIe 交换）实现跨多个服务器的安全和非敏感计算任务的计算资源动态分配；可以真正支持大规模计算或数据密集型 （CDI） 计算的异构 TEE 设计， 无需任何芯片级更改
  • 集中管理服务器机架的所有计算单元，利用 PCIe ExpressFabric 将其加速器分配给同一机架上的服务器节点，以执行非敏感的 CDI 任务，并将它们移回安全区域以响应对机密计算的需求。
  • 设计运行一个精简的 TCB 堆栈，用于在安全控制器 （SC） 上进行安全管理，同时将大量软件（例如 AI 运行时、GPU 驱动程序等）留给运行飞地的集成微服务器。代理系欸按可以运行完整的软件堆栈，由 SC 验证和保护，在接触敏感数据之前，只涉及必要的功能，如（解）加密、远程认证、PCIe 结构配置等。HETEE和外界以及不同飞地之间的隔离通过PCIe交换机和代理在物理上实现。

架构设计

设计目标

  • 硬件修改少，便于部署
  • 小TCB
  • 有限攻击面
  • 低性能开销
  • 威胁模型：软件攻击、硬件攻击、固件、PaaS模型

设计概述

保护平台即服务（PaaS），相比于之前的工作Graviton和HIX，不需要芯片级的更改，将侧信道攻击面降至最低。
如下图：

  • 使用 PCIe ExpressFabric 作为机架内的高速、低延迟资源共享网络，将本地计算服务器节点连接到异构计算单元池；
  • HETEE Box管理异构单元，将它们动态分配给计算任务，并通过多个模块将它们相互隔离，包括security controlled、proxy node和具有 PCIe 接口的加速器资源;
  • 用户支持：提供了一组 API 和一个库，供远程用户使用 TEE 服务，通过远程证明协商共享密钥建立信任，后续消息受到机密性和完整性保护
    • Configuration messages：远程用户向 SC 发送配置消息以创建新的 HETEE enclave
    • Code messages+ Data messages：AI模型代码和敏感数据

在这里插入图片描述

设计挑战

  • C1：共享计算资源并保证隔离
    • 利用PCIe ExpressFabric将安全区与其他安全区以及不受信任的操作系统进行动态和物理隔离
  • C2：减少TCB
    • 采用了一种独特的两级隔离策略，SC是唯一受信任的节点，运行一组具有集成安全和管理代码的固件；代理节点运行用于控制加速器和执行AI运行时的繁重软件堆栈。

C1：弹性资源分配和隔离

PCIe交换结构：软件定义，高性能灵活拓扑

  • 池安全加速器的弹性分配
    • 安全状态的池加速器可以动态分配为安全资源
    • 下图a所示，①服务器节点首先将用户的加密请求和数据转发给SC，②SC解密消息并将内容传递给控制安全加速器的代理节点。③通过动态网络配置，我们可以根据计算需求在资源池中分配加速器，实现更好的资源利用率和效率。
  • 安全/不安全环境中的安全模式切换
    • 动态切换，在不同服务器处理非敏感计算任务时共享计算单元
    • HETEE Box通过重新配置PCIe交换机网络动态分配给开箱即用的节点，节点可以直接管理和使用加速器
    • 这种情况发生时，加速器会从安全状态变为不安全状态。因此，当设备返回池执行敏感任务时，需要将其恢复到安全状态
      在这里插入图片描述

C2：分层隔离和TCB简化

采用了一种独特的两级隔离策略，SC是唯一受信任的节点，运行一组具有集成安全和管理代码的固件；代理节点运行用于控制加速器和执行AI运行时的繁重软件堆栈。代理节点位于 TCB 之外，在物理和逻辑上与 SC 分离，但由 SC 控制。
在这里插入图片描述

  • 在计算任务时，每个代理节点管理一个 enclave 及其所有计算单元，但已被 SC 与外界隔离
  • 初始软件堆栈的完整性由 SC 验证，并通过证明向飞地用户（数据所有者）证明
  • enclave 的物理隔离减少了与其他 enclave 和不受信主机的资源共享，最大限度减少侧信道攻击面
  • 计算完成后，将对节点进行清理，并通过安全重启将分配给安全区的所有计算单元恢复到信任状态

安全控制器

利用CPU+FPGA构建了原型，主要功能如下：

  • 安全启动：由FPGA上的测量模块和mCPU的固件代码执行，mCPU负责SC本身的安全性，以及恢复代理节点的可信状态
  • 资源分配：根据安全或非安全要求动态配置 PCIe 结构，目的是将加速器分配给计算节点、隔离用于安全区管理的资源、加速器的安全状态高效切换
  • 远程认证：认证模块在FPGA芯片内部实现，以支持加密操作（密钥建立、身份验证等），以在远程用户和HETEE盒之间建立信任
  • 消息加解密/调度/辅助隔离和控制/身份验证/完整性检查
    在这里插入图片描述
    消息隔离和控制如图：
  • 在FPGA板上，该板与运行基于固件的SC安全管理的mCPU板分开，减少了不受信任的输入数据
  • 机架上不受信任的服务器节点只能访问存储加密消息的硬件队列（即密文数据/代码消息队列和密文配置队列，灰色部分）
  • HETEE Box内的代理节点只能访问明文硬件消息队列（即明文数据/代码消息队列）
  • 为每个安全区分配一对队列，灰色的加密数据和绿色的明文数据，执行身份验证和完整性检查

代理节点

  • 每个 enclave 都在单独的代理节点上运行，任务切换（或 enclave destroy）期间，SC 会强制代理节点重新启动并重置其状态
  • 代理节点管理SC动态分配给enclave的加速器，运行简化的 Linux 和用户级软件堆栈
  • 代理节点接受SC下发的代码和数据消息，在其本地AI软件栈上运行远端用户编写的AI模型
  • 将结果打包成发送到 SC 的结果消息，并最终通过加密通道传递给远程用户
  • 一旦代理节点重新启动，SC 就会确保此堆栈的完整性，并且堆栈仅服务于当前的计算任务
  • 计算单元和代理节点都运行在同一飞地内，使它们能够高效安全交互
  • 代理节点需要具有强大 I/O 能力的 CPU，即使其计算能力相对较弱；实现中选择了微服务器作为代理节点，集成了低端至强E3处理器，省成本和功耗
  • 代理节点软件位于TCB外（OS/TensorFlow framework/GPU driver等）

安全分析

  • 物理攻击保护：MCU系统和一组传感器
  • 软件攻击保护：主机软件可以被攻击者完全控制；PaaS背景代理软件有威胁
  • 信任链：背书密钥存储在加密的FPGA比特流，FPGA比特流->SC固件源码->代理CPU固件
  • 侧信道：物理隔离以避免共享资源
  • TCB分析：
    • SC，FPGA加密比特流和mCPU固件
    • GPU固件（代理CPU固件由SC验证，不包含在TCB内）
    • 防止物理攻击的MCU

性能评估

在这里插入图片描述

在这里插入图片描述

Xinyao Zheng
关注
  • 20
    点赞
  • 踩
  • 17
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
安全移动设备TEE认证
security²-卢鸿波-安全二次方
08-31 375
安全移动设备TEE认证 一、安全移动设备TEE认证介绍​​​​​​​ 二、安全移动设备TEE认证保护配置（Protection profile）
云中数据_云中的机密计算
weixin_26722031的博客
08-01 830
云中数据Security is one of the most important pillars for an organization. Worryingly, there has been an increase in the number of CVEs (Common Vulnerabilites and Exposures) every year, for e.g. in just l...
2020年4大安全会议及论文
sinat_34996559的博客
01-05 4876
1会议介绍 1.1 NDSS会议 网络和分布式系统安全研讨会（NDSS）促进了网络和分布式系统安全的研究人员和从业人员之间的信息交换。目标受众包括对网络和分布式系统安全性的实际方面感兴趣的人员，并着重于实际的系统设计和实现。一个主要目标是鼓励和使Internet社区能够应用，部署和提高可用安全技术的状态。 1.2 S&P会议 IEEE Symposium on Security and Privacy（简称 S&P）创办于1980年，是信息安全领域四大顶级学术会议之一，也是信息安全领
可信执行环境（TEE）：深入探讨安全计算的未来
最新发布
qq_44005305的博客
03-08 1735
2.1 定义与概念可信执行环境（TEE）是一个安全的计算环境，它能够保护运行在其中的代码和数据免受外部攻击，包括来自操作系统、硬件和其他应用程序的攻击。TEE通过在处理器内部创建一个隔离的执行环境来实现这一目标，这个环境被称为“保护容器”（securecontainer）或“信任区”（trust zone）。2.2 工作原理TEE的工作原理可以分为以下几个步骤：隔离：TEE在处理器内部创建一个独立的执行环境，与其他应用程序和操作系统隔离。加密：TEE通过硬件加密技术来保护数据和代码的安全。
【TEE】PENGLAI TEE
qq_43543209的博客
01-18 1253
Penglai-TVM: 基于OpenSBI，支持不可信host和enclaves的 细粒度隔离（页级别隔离）。代码。Penglai-sPMP: 它利用 PMP或者 sPMP (S-mode PMP)提供基本的enclave功能。代码。Penglai-ZONE: 是一个旨在支持可信执行环境（TEE）中的特权区域的项目，例如TEEOS，统一可扩展固件接口（UEFI）中的独立MM。代码。PengLai-MCU:支持Global Platform，支持PSA。非开源。
CXL 学习资源整理
MangoPapa
06-22 4386
搜罗的一些 CXL 学习资料，仅供参考。
CISCO技术(1.7万)
热门推荐
08-09 6万+
0 base|以零为基底\r\n 0 disturbed zero output signal|干扰0输出信号\r\n 0parallel communication cable|平行通讯传输缆线\r\n 1 binary operation|二进制运算\r\n 1 di
I-WBAN: Enabling Information-centric data retrieval in heterogeneous WBAN
02-10
I-WBAN: Enabling Information-centric data retrieval in heterogeneous WBAN
Enabling 6.4-Gbps pin LPDDR5 using bandwidth Improvement Techniques
09-07
PAPER_07_Enabling 6.4-Gbps pin LPDDR5 using bandwidth Improvement Techniques.pdf
Vehicular fog computing: Enabling real-time traffic management for smart cities
02-11
本文探讨了车载雾计算（Vehicular Fog Computing, VFC）的概念及其在实现智能城市实时交通管理中的应用。随着智能交通系统的发展，如何高效地管理和利用海量车辆产生的数据成为了一个亟待解决的问题。车载雾计算作为...
Enabling Confidential Computing in Cloud with Intel SGX and Libr
10-25
"Enabling Confidential Computing in Cloud with Intel SGX and Library OSes"这个主题探讨了如何利用Intel Software Guard Extensions (SGX)技术和Library Operating Systems（库操作系统）来提升云环境中的数据...
COBIT5-Enabling-Chinese.pdf
05-11
COBIT是ControlledObjectives for Information and Related Technology的缩写，即信息及相关技术的控制目标。COBIT是 ISACA（信息系统审计和控制联合会）制订的面向过程的信息系统审计和评价的标准。...
Enabling Large-Scale Storage in Sensor Networks with the Coffee File System
03-06
### 大规模传感器网络中的Coffee文件系统：实现与优化 #### 概述 在当今的物联网（IoT）时代，传感器网络已经成为收集环境数据、监控工业过程和促进智能家居的重要手段。随着传感器网络规模的不断扩大，如何高效地...
Trias：TEE与HCGraph解析
triaslab的博客
07-19 976
随着自动化智能化渗入生活，人的衣食住行均与机器紧密相连。相信机器，将成为未来人类的新一项生理需求。相信机器的核心，在于相信其在正确的硬件环境下执行了正确的程序。换言之，一个值得信赖的机器，它的硬件软件都必须是可靠的。 如何确保可信的软件在可靠的硬件环境下运行，Trias团队借鉴智能合约，重新构建一套去中心化的通用平台的可信算力体系，及一套去中心化的可信软件开发运维体系，从而保障正确的通用平台...
Tornado: Enabling Blockchain in Heterogeneous Internet of Things through A Space-Structured Approach
02-11
### Tornado: 实现区块链在异构物联网中的应用——一种空间结构化方法 #### 引言与背景 随着物联网（Internet of Things, IoT）技术在智能城市、商业、医疗保健等领域的广泛应用，数据和设备的安全性成为了人们...
SubTrack: Enabling Real-Time Tracking of Subway Riding on Mobile Devices
02-22
SubTrack: Enabling Real-Time Tracking of Subway Riding on Mobile Devices
ATK: Enabling Ten-Finger Freehand Typing in Air Based on 3D Hand Tracking Data
02-11
ATK: Enabling Ten-Finger Freehand Typing in Air Based on 3D Hand Tracking Data
mvdiffusion: enabling holistic multi-view image generation with corresponden
11-17
mvdiffusion是一种新的图像生成方法，它能够实现全面的多视图图像生成，其中各个视角之间有对应关系。这种方法可以很好地解决传统的图像生成方法中存在的问题，比如在单一视角下生成图像时难以获取全面的信息，或者在多视角生成时难以保持视角之间的一致性。mvdiffusion的关键在于利用图像中的对应点信息，通过多视图的融合和扩散来生成全面且一致的图像结果。 这种方法的应用场景非常广泛，比如在虚拟现实和增强现实中，可以利用mvdiffusion来生成全景图像，使用户可以从多个角度观察场景，获得更真实的体验。在医学影像学中，mvdiffusion也可以用于三维重建和立体显示，帮助医生更好地诊断病情。另外，mvdiffusion还可以应用在计算机视觉和图像处理领域，用于生成具有视角一致性的图像数据，提高模型的性能和准确性。 总的来说，mvdiffusion是一种非常有前景的图像生成方法，它能够很好地解决传统方法所存在的问题，实现全面、一致的多视图图像生成。它的应用将会给虚拟现实、医学影像学、计算机视觉等领域带来更广阔的发展空间，为图像生成技术的进步提供了新的可能性。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值