这篇论文提出了一种名为SCP(Secure and Coherent Partitioning)的缓存分区方案,旨在解决传统缓存分区在安全共享操作系统环境中面临的根本矛盾:严格的驱逐隔离与写共享一致性无法共存。SCP通过仅分区标签(tags)、共享单一数据池,并合理设置数据池大小以避免容量驱动的跨分区驱逐,从而在实现严格驱逐隔离的同时维持写共享一致性。时序混淆(timing obfuscation)技术扩展了保护范围,覆盖了跨分区查找路径。对于写共享行上的一致性泄漏,论文设计了一种阈值机制:当泄漏超过预定阈值时,将这些写操作路由到LLC(末级缓存),使得攻击者的写探测延迟与受害者活动无关。实现基于gem5模拟器,实验表明SCP能够有效防御Prime+Probe、Flush+Reload等基础缓存侧信道攻击,以及针对写共享行的攻击,所有攻击结果均不优于随机猜测。硬件开销方面,LLC SRAM仅增加2.8%;性能方面,在SPEC CPU2017基准测试中,IPC与DAWG方案相差在0.3%以内。共享密集型的微基准测试则展示了基于系统指定泄漏阈值的可调安全-性能权衡。
💡 推荐理由: 解决了缓存分区在共享OS环境中因写共享一致性冲突而无法安全部署的长期难题,为硬件安全设计提供了新思路,对防御基于驱逐的缓存侧信道攻击有重要意义。
🎯 建议动作: 研究跟进