基本信息:
- 专利标题： 密码核的安全验证方法、装置、电子设备及存储介质
- 申请号：CN202310491843.5 申请日：2023-05-04
- 公开(公告)号：CN116702224A 公开(公告)日：2023-09-05
- 发明人： 张茜歌 , 慕德俊 , 周佳慧 , 朱嘉诚 , 姜义初 , 沈利香 , 赵豪 , 任增民
- 申请人： 北京智芯微电子科技有限公司 , 西北工业大学
- 申请人地址： 北京市海淀区西小口路66号中关村东升科技园A区3号楼;
- 专利权人： 北京智芯微电子科技有限公司,西北工业大学
- 当前专利权人： 北京智芯微电子科技有限公司,西北工业大学
- 当前专利权人地址： 北京市海淀区西小口路66号中关村东升科技园A区3号楼;
- 代理机构： 北京清亦华知识产权代理事务所
- 代理人： 季永杰
- 主分类号： G06F21/64
- IPC分类号： G06F21/64 ; G06F21/60
摘要：
本说明书涉及一种密码核的安全验证方法、装置、电子设备及存储介质。其中，安全验证方法包括：以密码核的执行逻辑为参考，基于信息流模型库中的目标基础模型生成密码核对应的目标信息流模型；其中，密码核对应有逻辑函数，逻辑函数包括运算单元，目标基础模型用于描述在执行运算单元时对电路信号的运算过程；目标信息流模型用于描述在执行密码核时对电路信号的运算过程；针对密码核需要验证的安全属性构建对应的安全属性断言；其中，安全属性断言用于加入目标信息流模型中；通过执行加入安全属性断言后的目标信息流模型，对密码核进行安全验证。本说明书实施例能够基于信息流分析的方式，处理RTL级代码，具有更高的验证效率和验证精度。
IPC结构图谱:
| G | 物理 |
| --G06 | 计算；推算；计数 |
| ----G06F | 电数字数据处理 |
| ------G06F21/00 | 防止未授权行为的保护计算机或计算机系统的安全装置 |
| --------G06F21/10 | .保护分布式程序或内容，例如版权资料的出售或许可 |
| ----------G06F21/64 | ..保护数据的完整性，例如使用校验和、证书或签名 |