[论文解读] A Survey on Hardware Approaches for Remote Attestation in Network Infrastructures

Ioannis Sfyrakis, Thomas Groß|arXiv (Cornell University)|May 25, 2020

Security and Verification in Computing被引用 9

一句话总结

本综述全面分析了用于网络基础设施的基于硬件的远程证明方案，重点聚焦于密码原语和可信硬件，以验证节点完整性。它对证明架构和方案进行了分类，识别了集体证明中的隐私与机密性挑战，并提出了使用匿名凭证和零知识证明的解决方案，以保护敏感的网络信息。

ABSTRACT

Remote attestation schemes have been utilized for assuring the integrity of a network node to a remote verifier. In recent years, a number of remote attestation schemes have been proposed for various contexts such as cloud computing, Internet of Things (IoTs) and critical network infrastructures. These attestation schemes provide a different perspective in terms of security objectives, scalability and efficiency. In this report, we focus on remote attestation schemes that use a hardware device and cryptographic primitives to assist with the attestation of nodes in a network infrastructure. We also point towards the open research challenges that await the research community and propose possible avenues of addressing these challenges.

研究动机与目标

• 分析确保云环境和关键系统等网络基础设施中节点完整性的基于硬件的远程证明方案。
• 识别现有证明方法在大规模网络中面临的可扩展性、隐私和机密性限制。
• 探索可增强隐私的密码学技术（如匿名凭证和零知识证明），在不暴露网络结构的前提下提升证明的隐私性。
• 为研究人员和从业者提供证明架构、方案及其密码学基础的系统性概述。
• 突出开放的研究挑战，并提出改进网络化系统中隐私保护与可扩展远程证明的方向。

提出的方法

• 基于可信硬件组件（如TPM、HSM和安全飞地）对基于硬件的证明架构进行分类。
• 根据验证流程和所用密码原语，将证明方案按类型（直接、间接或混合）进行分类。
• 使用密码原语（如哈希函数、数字签名和群签名，例如DAA）实现安全且可验证的证明。
• 应用匿名凭证方案和知识的零知识证明，以保护证明结果和网络拓扑的隐私与机密性。
• 分析涉及验证者（V）、证明者（P）和中间节点的证明工作流，重点关注信息泄露的最小化。
• 在不同威胁模型下评估证明方案，包括软件攻击、物理攻击以及恶意中间节点。

实验结果

研究问题

• RQ1 基于硬件的远程证明方案如何确保大规模基础设施（如云和物联网系统）中网络节点的完整性？
• RQ2 在集体证明中，关键的隐私风险是什么，特别是当中间节点获知相邻节点的证明结果时？
• RQ3 如何在不损害验证安全性的情况下，保护网络拓扑和设备配置免于披露？
• RQ4 哪些密码学技术可用于在分布式网络基础设施中实现隐私保护的证明？
• RQ5 在现代网络化系统中实现可扩展、私密且机密的远程证明面临哪些开放挑战？

主要发现

• 基于硬件的证明方案通过利用可信硬件和密码原语，显著提升了网络基础设施中节点完整性的验证能力。
• 当中间节点获知证明结果时，可能发生隐私泄露，恶意节点可能借此伪造或篡改证据。
• 匿名凭证方案（如DAA）可通过允许证明者在不披露身份或配置的情况下证明其合法性，实现隐私保护的证明。
• 知识的零知识证明可在不披露网络结构的前提下，保护网络结构不被泄露，同时仍允许验证者确认证明的正确性。
• 当前方案通常无法保护网络拓扑的机密性，尤其是在多个节点同时被验证的集体证明场景中。
• 将隐私保护密码学技术集成到证明协议中仍是一个开放挑战，特别是在可扩展和实时网络环境中。