[论文解读] SPX: Preserving End-to-End Security for Edge Computing

Ketan Bhardwaj, Ming-Wei Shih+3 more|arXiv (Cornell University)|Sep 24, 2018

Security and Verification in Computing参考文献 30被引用 7

一句话总结

SPX 是一种框架，通过扩展 TLS 和 Noise 等协议并结合基于 Intel SGX 的远程证明机制，实现端到端的安全边缘计算，使边缘功能能够在不破坏安全或性能保证的前提下处理加密流量。它实现了 E³ 安全性——等效于端到端语义安全——同时保持对客户端的透明性并具备低开销。

ABSTRACT

Beyond point solutions, the vision of edge computing is to enable web services to deploy their edge functions in a multi-tenant infrastructure present at the edge of mobile networks. However, edge functions can be rendered useless because of one critical issue: Web services are delivered over end-to-end encrypted connections, so edge functions cannot operate on encrypted traffic without compromising security or degrading performance. Any solution to this problem must interoperate with existing protocols like TLS, as well as with new emerging security protocols for client and IoT devices. The edge functions must remain invisible to client-side endpoints but may require explicit control from their service-side web services. Finally, a solution must operate within overhead margins which do not obviate the benefits of the edge. To address this problem, this paper presents SPX - a solution for edge-ready and end-to-end secure protocol extensions, which can efficiently maintain end-to-edge-to-end ($E^3$) security semantics. Using our SPX prototype, we allow edge functions to operate on encrypted traffic, while ensuring that security semantics of secure protocols still hold. SPX uses Intel SGX to bind the communication channel with remote attestation and to provide a solution that not only defends against potential attacks but also results in low performance overheads, and neither mandates any changes on the end-user side nor breaks interoperability with existing protocols.

研究动机与目标

• 解决关键挑战：在不损害端到端安全或性能保证的前提下，使边缘功能能够处理加密流量。
• 确保与现有及新兴安全协议（如 TLS、Noise）以及各类客户端设备（包括物联网和移动客户端）的兼容性。
• 提供透明、非侵入式操作，无需对终端用户设备或协议进行任何修改。
• 通过将安全执行环境与通信通道绑定，防范远程证明中的已知攻击（如 TOCTTOU 和 Cuckoo 攻击）。
• 实现在多租户、分布式边缘基础设施中可实际部署，且性能开销极低。

提出的方法

• 通过 SPX 协议扩展，将现有安全协议（如 TLS、Noise）增强，以实现在边缘对加密流量的安全、认证访问。
• 利用 Intel SGX 隔离边缘功能，并强制执行远程证明，以验证边缘执行环境的可信性。
• 通过通道绑定机制，将远程证明报告直接绑定到 TLS 会话，防止 TOCTTOU 和 Cuckoo 攻击。
• 在 Web 服务端集成 SPX，以控制对加密流量的访问，确保仅经认证的、可信的边缘功能可解密并处理数据。
• 利用 SGX 的内存加密和安全飞地机制保护运行时数据，同时通过优化加密操作最小化性能影响。
• 设计系统时保持对客户端透明，避免对终端设备进行任何客户端修改或引入新协议。

实验结果

研究问题

• RQ1 如何使边缘功能在不破坏端到端安全保证的前提下，安全地处理端到端加密流量？
• RQ2 能否构建一种解决方案，既与现有协议（如 TLS）和新兴协议（如 Noise）互操作，又对终端用户设备透明？
• RQ3 如何将远程证明安全地绑定到通信通道，以防止边缘环境中发生 TOCTTOU 和 Cuckoo 攻击？
• RQ4 一种安全、适用于边缘的协议扩展会带来多大的性能开销？是否能保持边缘计算的低延迟优势？
• RQ5 在不修改客户端设备或协议的前提下，是否能够在多租户、分布式边缘基础设施中实际部署此类系统？

主要发现

• SPX 有效实现了边缘功能在保持端到端安全语义的前提下处理加密流量，实现了等效于原生端到端加密的 E³ 安全性。
• 原型系统表现出极低的性能开销，主要开销来自内存页加密和缺乏向量化加密操作，但显著低于使用可搜索加密的 BlindBox 等替代方案。
• 通过将远程证明报告直接绑定到 TLS 会话，SPX 成功防范了 TOCTTOU 和 Cuckoo 攻击，确保仅经认证的可信边缘功能可访问解密数据。
• 该解决方案与现有协议互操作，且无需修改终端用户设备，适用于包括物联网和移动客户端在内的异构边缘部署场景。
• SPX 在最小信任假设下实现对加密流量的完全访问，优于以往方案——后者么要么破坏安全性，要么带来不可接受的性能开销。
• 与 mbTLS 和 SafeBricks 等先前工作相比，SPX 无需客户端修改 IPsec 或 TLS，也无需为每个客户端建立隧道，显著提升了在边缘环境中的可扩展性和可部署性。