X为了获得更好的用户体验,请使用火狐、谷歌、360浏览器极速模式或IE8及以上版本的浏览器
欢迎来到宁夏技术市场,请 登录 | 注册
尊敬的 , 欢迎光临!  [会员中心]  [退出登录]
 常见问题  关于我们
成果
成果 专家 院校 需求
微信公众号
当前位置:首页 > 对接活动 > 找成果 > 详情页

一种基于信息流安全验证的硬件木马检测方法

所属分类:电子信息产业

所属单位:西北工业大学

联系人:-

联系方式:0951-6087161 /5020588

所在地:

成果简介

网络空间安全和集成电路是国家重点发展战略。集成电路芯片安全属于两大战略的交叉领域,是备受关注的热点研究方向。芯片作为计算系统的硬件核心和网络空间的物理根基,其安全性对于网络空间上层建筑的安全性有至关重要的影响。研究芯片设计安全脆弱性分析技术并开展推广应用有助于在设计阶段以较低代价检测并消除芯片中潜在的安全隐患,避免脆弱性引发的严重安全后果和经济损失,对于筑牢我国网络空间安全的硬件根基具有重要的意义。本项目经过多年的研究探索和技术攻关,突破了芯片设计安全行为分析与建模、芯片设计安全脆弱性特征提取与智能匹配和芯片设计安全属性验证与脆弱性搜索挖掘等关键技术,在高隐蔽性安全脆弱性检测方面取得显著技术优势,并开展了芯片设计安全分析工具研发与应用验证,能够为增强自主芯片设计安全性提供有效的理论、技术和工具支撑。

Copyright © 2018    宁夏回族自治区生产力促进中心    版权所有    宁ICP备11000235号-3    宁公网安备 64010402000776号

联系电话:0951-5064080              网站访问量:               网站在线人数:0              技术支持:科易网