首添机密计算创新成果!龙蜥首获 ACM SIGSOFT 杰出论文奖

近日,软件工程领域的全球旗舰级会议-软件工程大会 ICSE 在澳大利亚墨尔本市召开,龙蜥社区云原生机密计算 SIG 核心成员(阿里云JVM 团队)在 Java 机密计算方面的研究成果入选了 ICSE2023,并且以该会议今年唯一的 All Fives(审稿全满分)成绩荣获 ACM SIGSOFT 杰出论文奖。“安全可信”是龙蜥社区的八大技术方向之一 ,为保障用户 Java 程序的安全性,龙蜥社区云原生机密计算 SIG 重投 Java 机密计算,此次获奖是对龙蜥机密计算创新成果的肯定,也为龙蜥将此技术创新上升为用户方案奠定了基础。

IEEE/ACM ICSE 全称 International Conference on Software Engineering,致力于为软件工程领域的研究者、教育者和从业者们提供最新最重要的研究成果、经验及方向,是软件工程领域排名第一的学术会议。ACM SIGSOFT 杰出论文奖为 ICSE 会议最重要的论文奖项。本年度 ICSE 国际会议接收的 207 篇高水平论文中,获得杰出论文奖的论文共计 10 篇。

首添机密计算创新成果!龙蜥首获 ACM SIGSOFT 杰出论文奖_第1张图片

龙蜥社区云原生机密计算 SIG 联合上海交通大学计算机系陈雨亭副教授研究团队合作研发了 Java 机密计算的框架 Teaclave Java TEE SDK,发表题目为“Lejacon: A Lightweight and Efficient Approach to Java Confidential Computing on SGX”(Lejacon:一种适用于 SGX 的轻量高效 Java 机密计算方法)的论文,提出了一种涵盖开发模型、编译工具链和运行时机密计算生命周期管理的 Java 机密计算框架,该框架基于开发者的轻量标注实现自动代码分区,利用 Java 静态编译技术部署机密任务于 SGX 安全飞地中,提升机密任务执行效率的同时保持了较小体积的可信计算基,提高了安全性。

研究背景

计算的安全性是由存储时安全、传输时安全和运行时安全三大支柱构成的,机密计算就是针对运行时安全的技术。伴随越来越多企业部署云服务来加速推进数字化转型,云应用的安全性也变得愈发重要。机密计算作为云安全领域的关键技术,通过构建基于硬件的可信执行环境,保障应用数据在运行时的机密性与完整性。在 Intel 机密计算模型 SGX 中,应用程序根据安全性需求被划分为受信任与不受信任两部分。SGX 通过构建加密保护的飞地(Enclave)执行受信任代码,以保障该部分代码与数据的安全。Intel SGX SDK 也是龙蜥社区云原生机密计算 SIG 的核心项目之一。

现有大量云应用由 Java 语言编写,在 Java 工作流上应用 SGX 技术存在需求。然而,SGX 技术本身并不对 Java 友好:一方面,SGX 的安全飞地仅支持通过 C/C++ API 创建并管理,Java 应用无法直接对其调用进而安全地执行敏感代码。另一方面,Java 程序的执行依赖 Java 虚拟机(JVM)提供的托管运行时环境。这种模式使得运行在飞地中的代码(包含应用本身与 JVM)过于庞大,违背了机密计算对较小 TCB 的要求,降低了安全性。

创新成果

该研究提出了 Java 机密计算框架 Lejacon。该框架创新地采用了适用于 SGX 计算模型的 Java 分离编译技术,并提供了跨执行环境的运行时支持,兼顾非安全性敏感代码的平台无关性同时将 SGX 适配于 Java 工作流。

方法概述

首添机密计算创新成果!龙蜥首获 ACM SIGSOFT 杰出论文奖_第2张图片

(图 / Lejacon工作流概述)

Lejacon 支持开发者根据需求对机密代码进行类级别的标注。以标注代码为起点,该框架提出并基于安全封闭世界假设,利用指向分析技术对机密代码的可达性范围进行分析;随后,对所有可达代码进行静态编译,实现代码分区,得到可部署并运行于安全飞地中的本地机密计算服务(native confidential computing service)。运行时阶段,Lejacon 采用代理的模式管理不同运行环境的上下文信息,定位每一次机密调用所对应的飞地中的具体函数,利用 Java 本地接口(JNI)实现机密函数调用。

通过 Lejacon 构建的 Java 机密应用,其机密代码执行效率较传统方法,最高可得 16.2 倍提升,并可平均减少超过 90% 的 TCB 大小,极大提升了机密应用的安全性。

目前该项目已经贡献到正在孵化中的Apache Teaclave(https://teaclave.apache.org)项目开源,并且在生产环境中使用,后续也会贡献在龙蜥社区。

龙蜥社区云原生机密计算 SIG 主页:https://openanolis.cn/sig/coco

—— 完 ——

你可能感兴趣的:(java云原生开源社区)