SGX-based LibOS中系统调用转发机制研究

作     者：刘西蒙 黄应康 刘维杰 范倍汐 章恬 张杰 LIU Ximeng;HUANG Yingkang;LIU Weijie;FAN Beixi;ZHANG Tian;ZHANG Jie

作者机构：福州大学计算机与大数据学院/软件学院福建福州350108 南开大学密码网络空间安全学院天津300350 数据与智能系统安全教育部重点实验室天津300350 山西师范大学数学与计算机科学学院山西太原030031 

基　　金：国家自然科学基金资助项目(No.62072109) 福建省自然科学基金资助项目(No.2021J06013) 

出 版 物：《通信学报》 (Journal on Communications)

年 卷 期：2024年第45卷第S1期

页      码：31-40页

摘      要：SGX-based LibOS允许现有的未经修改的应用程序在SGX Enclave中运行。然而,不同的SGX-based LibOS在架构设计、系统调用模拟以及系统调用转发机制上存在差异,增加了用户使用门槛,并使得调试程序错误变得棘手。为了应对这些问题,提出了系统调用动态测试框架,对各种SGX-based LibOS进行了测试,追踪了系统调用在LibOS中的执行状况,并比较了其在Linux宿主机上的运行差异。同时,分析了实验结果,深入探讨了不同基于SGX的LibOS中系统调用转发机制的差异,总结了它们对Linux功能的模拟情况以及编程语言运行时的支持状态,并指出了该领域的不足和待改进之处。

主 题 词：IntelSGX 系统安全 库操作系统 系统调用 

学科分类：07[理学] 08[工学] 

核心收录：

D　O　I：10.11959/j.issn.1000-436x.2024214

馆 藏 号：203156945...