Efficient Linkage-Based Compartmentalization on CHERI
该论文研究在 CHERI 能力硬件内存安全基础上,如何高效实现进程内细粒度隔离(compartmentalization)。核心问题在于:现有隔离机制(如 Intel MPK)并发可用的保护域数量极其有限(最多 16 个),无法在大规模软件
共收录 4 条相关情报。
← 返回所有主题该论文研究在 CHERI 能力硬件内存安全基础上,如何高效实现进程内细粒度隔离(compartmentalization)。核心问题在于:现有隔离机制(如 Intel MPK)并发可用的保护域数量极其有限(最多 16 个),无法在大规模软件
该论文提出了一种名为HAKCs(Hardware-Assisted Kernel Compartmentalization)的方法,旨在解决当前主流操作系统内核(如Linux)的 monolithic 设计带来的安全缺陷。当前内核中所有代码
本论文针对分拆化(compartmentalized)软件中的接口漏洞影响进行了系统评估。分拆化软件通过将程序划分为多个隔离的组件(如利用进程级隔离、沙箱或微内核架构)来增强安全性,但组件间的接口(如系统调用、RPC、共享内存)可能引入新的
本文提出 LatticeBox,一个硬件-软件协同设计的框架,用于实现可扩展且低延迟的隔离(compartmentalization)。在现有系统中,隔离机制(如进程或虚拟机)往往带来显著的性能开销,且难以在细粒度级别应用。LatticeB