[发明专利]应用于处理器微结构侧信道防御措施的安全性测试方法有效
| 申请号： | 202010450338.2 | 申请日： | 2020-05-25 |
| 公开（公告）号： | CN111767207B | 公开（公告）日： | 2021-05-28 |
| 发明（设计）人： | 孟丹;王立敏;朱子元 | 申请（专利权）人： | 中国科学院信息工程研究所 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36;G06F21/57 |
| 代理公司： | 北京路浩知识产权代理有限公司 11002 | 代理人： | 杨云云 |
| 地址： | 100093 *** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明实例提供一种应用于处理器微结构侧信道防御措施的安全性测试方法，该方法包括：设置处理器微结构模型的初始状态；处理器微结构模型执行抽象的受害者和攻击者程序中的当前抽象指令，若触发的状态迁移满足状态转移条件，获取下一状态；将下一状态加入目标状态序列，并将其作为初始状态；重复上述步骤，直到执行完成所有抽象指令，获取目标状态序列树，若判断获知目标状态序列树中存在状态序列与标准状态序列相同，则防御措施无效，否则有效。本发明可以覆盖到Cache外的微结构组件，并且可以分析Cache侧信道以外的微结构侧信道安全性；并且，只专注于安全性测试，降低了测试过程的复杂度和规模。 | ||
| 搜索关键词： | 应用于 处理器 微结构 信道 防御 措施 安全性 测试 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国科学院信息工程研究所，未经中国科学院信息工程研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010450338.2/，转载请声明来源钻瓜专利网。
