应用于处理器微结构侧信道防御措施的安全性测试方法

摘要

本发明实例提供一种应用于处理器微结构侧信道防御措施的安全性测试方法，该方法包括：设置处理器微结构模型的初始状态；处理器微结构模型执行抽象的受害者和攻击者程序中的当前抽象指令，若触发的状态迁移满足状态转移条件，获取下一状态；将下一状态加入目标状态序列，并将其作为初始状态；重复上述步骤，直到执行完成所有抽象指令，获取目标状态序列树，若判断获知目标状态序列树中存在状态序列与标准状态序列相同，则防御措施无效，否则有效。本发明可以覆盖到Cache外的微结构组件，并且可以分析Cache侧信道以外的微结构侧信道安全性；并且，只专注于安全性测试，降低了测试过程的复杂度和规模。