-
公开(公告)号:CN111414622B
公开(公告)日:2023-03-28
申请号:CN202010222119.9
申请日:2020-03-26
Applicant: 电子科技大学
IPC: G06F21/56 , G06F16/901
Abstract: 本发明公开了一种针对IP固核网表的硬件后门移除方法,首先基于有向图模型,可以成功地找到硬件木马电路的起始端,即木马起始挂载节点;然后固化起始挂载节点,删除无效逻辑单元,可以成功地切断木马电路和主电路之间的连接,并将木马电路固定在未触发状态;最后向后传播固态信号,利用真值表消除冗余项方法,逐层修改木马电路。经过与木马插入前的网表文件对比,本发明可以成功删除掉硬件木马电路,且不会对网表的正常功能造成影响。本发明为修复存在硬件后门的网表提供了一种有效的方法,在IP固核修正后再利用方面具有重要意义。
-
公开(公告)号:CN114676438A
公开(公告)日:2022-06-28
申请号:CN202210397011.2
申请日:2022-04-15
Applicant: 电子科技大学
IPC: G06F21/57
Abstract: 本发明公开了一种面向硬件系统多维脆弱性的快速探测方法,该方法首先根据硬件系统的结构抽取硬件系统特征集;其次基于硬件系统特征集,构建硬件系统数据与漏洞数据库;最后通过漏洞搜索算法找到能够匹配成功的漏洞条目与硬件系统,实现多维度脆弱性探测。本发明可以基于硬件系统的设计文档和漏洞数据库进行脆弱性探测,在硬件系统的设计阶段发现系统内存在的不同维度协同工作产生的多维度脆弱性,支持在设计阶段及时更改系统架构消除脆弱性。因此,本发明为硬件系统设计中引入的漏洞提供了一种有效的探测方法,保障了硬件系统设计的安全性。
-
公开(公告)号:CN112765466B
公开(公告)日:2022-05-03
申请号:CN202110057021.7
申请日:2021-01-15
Applicant: 电子科技大学
IPC: G06F16/9535
Abstract: 本发明公开了一种基于用户历史的装备个性化推荐方法,针对传统装备数据配套的查询系统对相关使用人员不够友好的问题,将推荐系统引入到装备数据库中,使得用户能够获得关于自身的推荐,同时也能够获得和自身类似的邻域用户,从邻域用户的浏览历史中获得自身感兴趣的装备信息;本发明针对传统推荐系统中基于物品的推荐,做了一定的改进将用户历史评分数据加入评价指标,又考虑到用户自身评分特征,对推荐装备是否契合用户口味实现奖惩因子,同时还考虑到用户评分的时间戳,加入随时间戳变化的权重因子,最终完成了考虑用户自身的个性化的装备推荐。
-
-
公开(公告)号:CN113115455A
公开(公告)日:2021-07-13
申请号:CN202110320491.8
申请日:2021-03-25
Applicant: 电子科技大学
Abstract: 本发明公开了一种可降低时隙冲突概率的VDES系统自适应信道选择方法,包括以下步骤:将AIS系统中的报文消息进行分类,并为分类后的消息设置标志位;设定时隙冲突概率阈值,根据时隙冲突概率阈值以及标志位,选择每种类型对应报文消息的传输信道;接入网络并预约时隙,待时隙到来,将报文消息通过选择的传输信道发送,完成自适应信道选择。本发明能够将原始AIS系统中与安全有关的消息置于最高优先级,同时能够在密集水域有效降低时隙冲突概率。
-
公开(公告)号:CN111428246A
公开(公告)日:2020-07-17
申请号:CN202010234149.1
申请日:2020-03-30
Applicant: 电子科技大学
IPC: G06F21/57
Abstract: 本发明公开了一种面向自主芯片硬件安全的逻辑漏洞深度挖掘方法,涉及芯片硬件安全技术领域,包括:对芯片HDL源代码进行等效变换;采用ATPG初步提取等效变换后的HDL源代码中的FSM;对初步提取到的FSM进行补全,得到完整的FSM;根据互斥性、完备性、死状态和活状态条件,从完整的FSM中挖掘基本逻辑漏洞,互斥性漏洞、完备性漏洞、死状态漏洞和活状态漏洞均为基本逻辑漏洞;若基本逻辑漏洞包括活状态或死状态漏洞,则继续挖掘传播型漏洞。本发明方法以HDL代码为输入,以FSM为主要研究对象,该方法能够从自主芯片HDL源代码中挖掘出多种类型的硬件逻辑漏洞,使得设计者和使用者能够采取相应的弥补和防范措施。
-
公开(公告)号:CN111353182A
公开(公告)日:2020-06-30
申请号:CN202010167733.X
申请日:2020-03-11
Applicant: 电子科技大学
IPC: G06F21/76
Abstract: 本发明公开了一种面向FPGA芯片的网表环路识别方法,包括以下步骤:S1:提取FPGA芯片的网表文件;S2:建立有向图模型;S3:结合栈结构对有向图模型进行深度优先遍历,识别有向图模型的环路;S4:识别嵌套环路;S5:基于嵌套环路,利用分步循环聚合策略提取聚合环路,得到FPGA芯片的网表环路识别结果。本发明提出了一种新型的FPGA芯片网表环路识别方法。该网表环路识别方法利用构建有向图模型,对其进行识别;同时提出了嵌套环路的概念,对网表中的嵌套环路进行识别;最后提出了分布循环聚合的策略,识别有向图模型中的聚合环路。该识别方法操作简单,能够保证对网表环路的正确识别。
-
公开(公告)号:CN110298202A
公开(公告)日:2019-10-01
申请号:CN201910602131.X
申请日:2019-07-05
Applicant: 电子科技大学
Abstract: 本发明公开了一种基于芯片温度场时-空特征的硬件后门智能诊断方法选取了芯片温度场的稳态温度触发时间特征作为其后门检测的依据,据此再进行分类特征的提取,最后利用SOM自主分类网络对样本进行分类检测。该方法无需黄金样本数据作为分类参考依据,降低了工程使用的门槛。除此之外,将温度差异映射为时间差异将后门带来的物理差异放大,能够在一定程度上减弱制程偏差和测量噪声的影响,使得检测能力得以提高,并能够对后门植入位置做简单的判定。
-
公开(公告)号:CN110061801A
公开(公告)日:2019-07-26
申请号:CN201910338604.X
申请日:2019-04-25
Applicant: 电子科技大学
IPC: H04K3/00
Abstract: 本发明公开了一种航空监视系统中的异常目标甄别系统及方法,该系统包括报文信息接收模块、无源定位模块、报文解算模块和轨迹滤波分析模块;报文信息接收模块分别与无源定位模块和报文解算模块连接;无源定位模块和报文解算模块均与轨迹滤波分析模块连接。本发明提供的航空监视系统中的异常目标甄别系统及方法采用无源定及轨迹滤波的方式确定目标的位置信息,并与报文解算结果进行比较,进而识别出虚假(异常)目标,本发明方法能够高效简单的识别虚假目标,解决了现有ADS-B航空监控系统中无法有效识别异常目标的问题,一定程度的避免了民航客机的安全飞行、航空监视系统的正常运转和军用飞行器的任务执行的等安全问题。
-
公开(公告)号:CN116865769A
公开(公告)日:2023-10-10
申请号:CN202310818406.X
申请日:2023-07-05
Applicant: 电子科技大学
Abstract: 该发明公开了一种并行判决反馈译码实时信道估计方法,涉及领域为数字信号处理领域。涉及领域为数字信号处理领域。该方法主要针对存在严重码间串扰的白噪声信道,进行viterbi网格译码的同时进行码间串扰的消除工作,通过对信道记忆系数的准确估计,进一步估计当前码元受到的码间串扰值,将其应用在译码网格的分支度量单元后进行全局搜索得到最佳译码结果;将viterbi译码网格回溯幸存路径得到的译码结果输入信道估计器,以网格输入为期望符号进行信道估计器系数更新,实现对缓变信道的实时估计。
-
-
-
-
-
-
-
-
-