[发明专利]一种基于门级污染标签跟踪模型的硬件安全漏洞检测方法有效
| 申请号： | 202011147803.1 | 申请日： | 2020-10-23 |
| 公开（公告）号： | CN112650638B | 公开（公告）日： | 2022-01-04 |
| 发明（设计）人： | 慕德俊;朱岩;秦茂源;胡伟 | 申请（专利权）人： | 华芯安信（北京）科技有限公司;西北工业大学 |
| 主分类号： | G06F11/25 | 分类号： | G06F11/25;G06F11/22;G06F21/57 |
| 代理公司： | 北京辰权知识产权代理有限公司 11619 | 代理人： | 刘广达 |
| 地址： | 100096 北京市海淀*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本申请公开了一种基于门级污染标签跟踪模型的硬件安全漏洞检测方法，包括：将以硬件描述语言描述的硬件设计综合为门级网表；构建污染标签跟踪逻辑库；基于污染标签跟踪逻辑库和门级网表，建立污染标签跟踪逻辑模型；形式化描述期望信息流安全属性，形成断言；将污染标签跟踪逻辑库、污染标签跟踪逻辑模型和断言作为输入，进行形式化安全验证，得到验证结果；分析验证结果。本申请的方法减少了硬件设计语言和形式化语言之间语句转换所产生的额外设计开销，提高了效率，能够有效地甄别违反信息流安全策略的安全漏洞，具有适用性强的特点，便于与现有的形式化工具相整合，能够以极高的验证覆盖率验证期望的信息流安全属性。 | ||
| 搜索关键词： | 一种 基于 污染 标签 跟踪 模型 硬件 安全漏洞 检测 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华芯安信（北京）科技有限公司;西北工业大学，未经华芯安信（北京）科技有限公司;西北工业大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202011147803.1/，转载请声明来源钻瓜专利网。
- 上一篇：一种水电机组振动趋势预测方法和系统
- 下一篇：一种农业用的土壤改良设备
