买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉北京邮电大学申请的专利一种处理器分支预测攻击漏洞形式化验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116415256B 。

龙图腾网通过国家知识产权局官网在2026-04-17发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310396695.9，技术领域涉及：G06F21/57；该发明授权一种处理器分支预测攻击漏洞形式化验证方法是由王春露;叶青瑜;柯谦;王海霞;吕勇强;汪东升;邱朋飞设计研发完成，并于2023-04-14向国家知识产权局提交的专利申请。

本一种处理器分支预测攻击漏洞形式化验证方法在说明书摘要公布了：本发明公开了一种处理器分支预测攻击漏洞形式化验证方法，包括以下步骤：S1、建立分支预测攻击所违反的安全属性，所述安全属性描了述安全的分支预测器设计应当遵守的安全规范；S2、建立分支预测行为模型，将分支预测攻击描述为一系列抽象分支操作的组合；所述分支操作为操作者、操作类型、操作地址、跳转方向和跳转地址组成的五元组，是某条分支指令的抽象表示；S3、将分支预测器设计建模为接受分支预测行为指令，并根据输入的不同指令设计出不同变化的分支预测模型状态机，输出预测结果，检查安全规范，并将分支预测攻击转换为在状态机上的路径规范；S4、对分支预测器设计的状态机进行模型检验，判断其是否存在分支预测攻击漏洞。

本发明授权一种处理器分支预测攻击漏洞形式化验证方法在权利要求书中公布了：1.一种处理器分支预测攻击漏洞形式化验证方法，其特征在于，包括以下步骤： S1、建立分支预测攻击所违反的安全属性，所述安全属性描述了安全的分支预测器设计应当遵守的安全规范； S2、建立分支预测行为模型，将分支预测攻击描述为一系列抽象分支操作的组合；所述分支操作为操作者、操作类型、操作地址、跳转方向和跳转地址组成的五元组，是某条分支指令的抽象表示； S3、将分支预测器设计建模为接受分支预测行为指令，并根据输入的不同指令设计出不同变化的分支预测模型状态机，输出预测结果，检查安全规范，并将分支预测攻击转换为在状态机上的路径规范；所述分支预测攻击的路径规范为：存在可到达某个特定状态节点的访存操作序列，在这一状态下分支预测器模型不满足分支预测安全规范；安全的分支预测器设计的路径规范为：不存在可到达某个特定状态节点的访存操作序列，在这一状态下分支预测器模型不满足分支预测安全规范； S4、对分支预测器设计的状态机进行模型检验，判断其是否存在分支预测攻击漏洞；模型检验的方法为：检验某一模型上是否会出现满足某一条件的路径，证明其无论如何不可能在给定状态变迁下产生这样的路径，则验证成功，否则找出反例路径；验证成功，输出该分支预测器设计是安全的，验证失败，该分支预测器设计存在漏洞。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京邮电大学，其通讯地址为：100876 北京市海淀区西土城路10号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。