SGX INTEL 安全讲解

以下是 integritee 安全技术的讲解，主要侧重于 Intel SGX 安全属性。它不一定完整也不能保证准确。它只是反映了我们对 ATM 技术 的最了解的方面。

SGX被利用的属性

• 云节点无法控制实例化该云节点的实例数量。
• 云节点处理过程可以在任何时候中断。
• 平台服务 (PSE) 提供的单调计数器和可信时间依赖于英特尔 ME，它在安全性方面没有良好的声誉。

参见：Swami 的黑帽演讲（链接见索引）

攻击

回滚/重放 攻击

云节点无法验证它是否在最新状态下运行（即从磁盘上的密封文件中读取）。

不能保证对云节点的调用是按顺序发生的。它们可以并行发生，因此可能会泄露秘密，即因为具有弱随机性的秘密被多次使用相同的随机数加密，从而被削弱了机密性。

应对方法

• 单调计数器（即英特尔 PSE，基于 ME。在服务器硬件上不可用）。如果您选择相信英特尔 ME 技术！
• 区块链注册最新状态的哈希值，因此状态更新仅在引用最新注册状态时才有效。这不能解决该问题原因上面解决，而是解决问题出现的情况。

全局状态延展性

云节点紧急调用可以随时被服务中断。攻击者可以再次调用相同的紧急调用，而不是在中断后返回。

应对方法

• 先验证后写入：不仅适用于密封存储，也适用于全局状态变量。

重入攻击/全局状态延展性

可以是回滚攻击的方式。其攻击方式类似于于智能合约可重入。

智能合约重入攻击说明

应对方法

• 先验证是否正确后再确认写入

模拟器攻击

模拟器会假装是一个云节点。

应对方法

• 使用 IAS 进行远程认证

中间人攻击

INTEL 可以通过保持积极响应 RA 请求并将模拟云节点作为 MITM 来攻击服务提供商。（英特尔知道哪个 SP 请求 RA，因为它知道 SPID）

应对方法

请观看 34:50 的黑帽演讲（链接见索引）

伏笔

这种侧道攻击损害了完整性和机密性（因此也损害了远程证明）。它已在英特尔最近的微码②中得到修复。

应对方法

• 更新您的 SGX 硬件
• 验证 SGX 对所有 integritee-worker 来表明是最新的（IAS 告诉我们他们的远程证明报告）

备注解释：

• 云节点对应Intel SGX 技术中的名词 enclave
• 微码对应intel SGX技术中的名词 microcode
• 先验证后写入对应 intel SGX技术名词 verify-first-write-last

索引链接：

• 在安全性方面没有良好的声誉：https://en.wikipedia.org/wiki/Intel_Management_Engine#Security_vulnerabilities
• Swami 的黑帽演讲：https://www.youtube.com/watch?v=0ZxBO3vLB-A&feature=youtu.be
• 智能合约重入攻击说明：https://gus-tavo-guim.medium.com/reentrancy-attack-on-smart-contracts-how-to-identify-the-exploitable-and-an-example-of-an-attack-4470a2d8dfe4
• 请观看 34:50 的黑帽演讲：https://www.youtube.com/watch?v=0ZxBO3vLB-A
• 伏笔（Foreshadow）：https://en.wikipedia.org/wiki/Foreshadow

关于 Integritee

自 2018 年开发以来，Integritee AG 的解决方案使得具有敏感性的业务或个人数据能够在可互操作的区块链生态系统中得到安全处理。通过使用区块链技术和支持硬件的可信执行环境的混合体，Integritee 帮助企业安全地处理敏感数据，并且遵守 GDPR 等隐私法。 可以在Integritee.network 了解到更多有关该项目的信息。 

官方网址：https://integritee.network/

官方Twitter：https://twitter.com/integri_t_e_e 

官方Medium：https://medium.com/@integritee

Telegram中文群：https://t.me/IntegriteeChina