近日，金宝搏app官网下载网络空间安全学院詹东阳副教授团队研究成果被第34届USENIX Security Symposium (USENIX Security 2025)录用，该研究成果揭示了WebAssembly运行时资源隔离机制的安全缺陷，通过静态分析技术系统化探索了新型资源耗尽的攻击面以及攻击策略，并探讨了可能的防护方案。
WebAssembly（简称Wasm）技术正在快速发展，近年来涌现出多个持续活跃开发和维护的Wasm运行时。这些运行时为Wasm模块提供了跨平台的安全沙箱环境，使其可作为可移植容器运行。不同于Docker的操作系统级隔离，Wasm运行时的安全机制（如线性内存、类型检查、受保护的调用栈）提供了更强的内存安全和执行控制。尽管Wasm在设计上强调安全性，常被视为比传统容器更安全的运行时方案，但其安全机制在资源隔离方面仍存在显著不足。通过实验分析，我们揭示出当前Wasm运行时在资源隔离机制上存在关键缺陷：攻击者可能通过WASI与WASIX接口接口发起资源耗尽攻击，导致宿主机资源被抢占，进而影响其他容器的正常运行。这一重要攻击面此前尚未得到系统化研究。为此，本研究采用静态分析技术首次对Wasm运行时的资源隔离攻击面进行系统化分析。基于分析结果，提出了多种突破Wasm资源隔离限制的攻击策略。实验结果表明，恶意Wasm实例不仅可抢占系统资源，还能将负载扩散至OS组件，降低系统性能。此外，还讨论了可能的防护措施。
图1：Wasm运行时安全分析框架总览：中间代码提取，控制流图构建，关键接口分析USENIX
Security与IEEE S&P、ACM CCS、NDSS被公认为网络安全领域的四大顶级会议，代表着当前网络与信息安全研究的最高学术水平，一直受到学术界和工业界的高度关注。
金宝搏app官网下载网络空间安全学院为论文第一完成单位，詹东阳副教授为论文通讯作者，2022级博士生俞兆丰为第一作者。
