.png){kind=icon}
返回
FlexClave: An Extensible and Secure Trusted Execution Environment Framework
.png){kind=icon}
PRE
AI
DOI：10.1109/TC.2026.3654947.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
随着计算机系统软件堆栈的复杂性日益增加，相关的安全风险也随之升级。可信执行环境（TEEs）已作为一种主流的安全解决方案出现，用于增强系统安全性。TEEs可分为用户级TEEs、操作系统级TEEs和混合TEEs。然而，这些TEEs通常具有固定的安全边界和隔离域，限制了其适应不同安全需求和动态场景的能力。此外，可信计算基（TCB）组件在TEEs框架中的设计通常运行在架构的最高特权级别。随着安全功能的不断增加，大量代码集中在最高特权级别，增加了整个平台的安全风险。本文提出FlexClave，一种可扩展且安全的TEEs框架，旨在解决这些问题。FlexClave利用硬件原语创建针对不同用例的定制化安全隔离边界。此外，我们的框架将TCB组件分布在不同的特权级别上，减少安全功能在最高特权级别的集中，并缓解在单一高特权上下文中运行大量代码所带来的风险。我们在ARMv9-A固定虚拟平台和ARMv8 RK3399 SoC上实现了两个原型，每个原型包含两种用例（容器和虚拟机），以评估系统的安全性和性能。
Keyword:
System security
trusted execution environment
TCB construction
期刊
IF:
3.8
论文数:
5.4K
被引数:
9.8K
机构
引用论文
.png){kind=icon}
分享收藏分享收藏分享收藏A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations一种针对Arm®机密计算架构的验证方法：从安全规范到安全实现
OAAI
OAAI分享收藏
查看更多内容