-
公开(公告)号：CN116579293A
公开(公告)日：2023-08-11
申请号：CN202310545676.8
申请日：2023-05-15
申请人： 北京智芯微电子科技有限公司 , 西北工业大学
IPC分类号： G06F30/398 , G06F21/76 , G06F119/02
摘要： 本发明公开了一种电路的可靠性验证方法及验证工具、存储介质、验证装置，其中，方法包括：对电路的输入信号和输出信号添加故障属性标签；针对多个故障类型中的任意故障类型，基于输入信号、输出信号和故障属性标签，构建任意故障类型对应的基本逻辑门的故障效应传播模型；其中，多个故障类型包括位翻转故障类型、随机故障类型和固定故障类型中的一种或多种；基于任意故障类型对应的基本逻辑门的故障效应传播模型，构建任意故障类型对应的电路的故障效应传播模型；基于电路的安全属性，对任意故障类型对应的电路的故障效应传播模型进行形式化断言，以确定电路的可靠性漏洞。本方法能够实现对电路的高效、全面的可靠性验证功能。
-
公开(公告)号：CN116702224A
公开(公告)日：2023-09-05
申请号：CN202310491843.5
申请日：2023-05-04
申请人： 北京智芯微电子科技有限公司 , 西北工业大学
摘要： 本说明书涉及一种密码核的安全验证方法、装置、电子设备及存储介质。其中，安全验证方法包括：以密码核的执行逻辑为参考，基于信息流模型库中的目标基础模型生成密码核对应的目标信息流模型；其中，密码核对应有逻辑函数，逻辑函数包括运算单元，目标基础模型用于描述在执行运算单元时对电路信号的运算过程；目标信息流模型用于描述在执行密码核时对电路信号的运算过程；针对密码核需要验证的安全属性构建对应的安全属性断言；其中，安全属性断言用于加入目标信息流模型中；通过执行加入安全属性断言后的目标信息流模型，对密码核进行安全验证。本说明书实施例能够基于信息流分析的方式，处理RTL级代码，具有更高的验证效率和验证精度。
-
公开(公告)号：CN118350014A
公开(公告)日：2024-07-16
申请号：CN202410503035.0
申请日：2024-04-25
申请人： 西北工业大学深圳研究院 , 西北工业大学
摘要： 本发明公开了一种基于符号执行的处理器特权完整性验证方法，首先，将处理器RTL设计的Verilog代码转换为功能等效的C++代码，并在转换后的C++代码中插入与特权完整性相关的断言；然后，使用符号执行引擎搜索符号路径，以识别可能导致断言违反的漏洞；最后，构建了一个包含CPU模块和快速缓存模块的最小验证平台，生成概念验证，用于模拟和验证搜索阶段发现的漏洞。本发明可以有效地识别并验证处理器设计中的特权转换完整性问题。
-
公开(公告)号：CN118839333A
公开(公告)日：2024-10-25
申请号：CN202410868866.8
申请日：2024-07-01
申请人： 西北工业大学
IPC分类号： G06F21/56 , G06F21/55 , G06F16/21 , G06Q50/40 , G06F18/2415 , G06F18/214 , G06N3/042 , G06N3/0464 , G06F30/32
摘要： 本发明提供了一种基于深度学习的硬件木马定位方法。包括以下步骤：输入被硬件木马感染的集成电路设计的FPGA网表，作为训练集；将训练集中各电路的FPGA网表转换为量化矩阵；给训练集中各电路FPGA网表中的节点打标签；利用量化矩阵及节点标签训练节点二分类深度学习模型；输入待测集成电路设计的FPGA网表，将其转换为量化矩阵，再输入到步骤4训练好的节点二分类深度学习模型，得到该待测集成电路设计FPGA网表中的LUT单元为木马节点或非木马节点的分类结果，实现硬件木马节点的定位。本发明方法能够在集成电路设计阶段实现LUT级的硬件木马精准定位。
-
公开(公告)号：CN113487783B
公开(公告)日：2022-04-15
申请号：CN202110760144.7
申请日：2021-07-06
申请人： 西北工业大学
IPC分类号： G07C9/27 , G07C9/25 , H04L9/32 , H04M1/72415
摘要： 本发明提供了一种基于智能手机生物特征识别功能实现门禁系统控制的方法，使用智能手机作为门禁控制器，解决了现有门禁控制存在的磁卡容易丢失、被复制等问题。除包含已有的门禁系统功能之外，还可以在不获取生物特征信息的情况下，使用手机自带的生物特征识别功能解锁门禁；通过为每个用户生成独立的生物特征解锁令牌，从而达到在不获取用户生物特征信息的情况下，完成生物特征信息的识别与验证、控制门禁系统的解锁与关闭的目的，很大程度上降低了个人信息泄露的风险。
-
公开(公告)号：CN113487783A
公开(公告)日：2021-10-08
申请号：CN202110760144.7
申请日：2021-07-06
申请人： 西北工业大学
IPC分类号： G07C9/27 , G07C9/25 , H04L9/32 , H04M1/72415
摘要： 本发明提供了一种基于智能手机生物特征识别功能实现门禁系统控制的方法，使用智能手机作为门禁控制器，解决了现有门禁控制存在的磁卡容易丢失、被复制等问题。除包含已有的门禁系统功能之外，还可以在不获取生物特征信息的情况下，使用手机自带的生物特征识别功能解锁门禁；通过为每个用户生成独立的生物特征解锁令牌，从而达到在不获取用户生物特征信息的情况下，完成生物特征信息的识别与验证、控制门禁系统的解锁与关闭的目的，很大程度上降低了个人信息泄露的风险。
-
-
-
-
-
搜索结果
6 条记录 (耗时 0.046 秒)
