基于模型检验的缓存侧信道形式化验证与攻击检测 发表于 2025 来源 信息安全学报 DOI 10.19363/J.cnki.cn10-1380/tn.2025.09.02 下载 PDF 作者 张士轩,王海霞,邱朋飞,吕勇强,尹凌峰,王鸿鹏,汪东升 摘要 缓存侧信道攻击利用对共享缓存的访问延迟差异泄露私密数据, 具有隐蔽性高、难以防御的特点, 对计算机系统的安全性威胁越来越大。此外, 瞬态执行类攻击的发现也证明了缓存可以作为隐蔽信道传递瞬态窗口中的信息。因此, 需要对处理器上的缓存设计进行全面的验证和安全性分析, 以评估其是否容易受到潜在的侧信道攻击 更多.. 硬件安全,形式化验证,缓存侧信道攻击,模型检验