硬件安全门级细粒度形式化验证方法 被引量：7

1

作者 秦茂源 慕德俊 +1 位作者 胡伟 毛保磊 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2018年第5期143-148,共6页

针对硬件设计长期缺乏有效的安全验证方法问题,提出了一种硬件安全门级细粒度形式化验证方法.该方法使用形式化语言在逻辑门层面上描述硬件电路的安全属性,构造包含安全属性跟踪逻辑的形式化语义语句,从而将硬件设计转化为电路语义模型... 针对硬件设计长期缺乏有效的安全验证方法问题,提出了一种硬件安全门级细粒度形式化验证方法.该方法使用形式化语言在逻辑门层面上描述硬件电路的安全属性,构造包含安全属性跟踪逻辑的形式化语义语句,从而将硬件设计转化为电路语义模型,并结合霍尔逻辑三元组理论构造用于验证该模型安全属性的定理.定理的证明过程是以人机交互的方式在定理证明器环境下验证定理的合理性.实验结果表明,该方法能够形式化地遍历电路语义模型的状态空间,精确验证不同输入状态下电路语义模型的安全性.该方法通过构造安全属性跟踪逻辑提高了验证的精确性,结合定理证明提高了验证覆盖率,能够有效地验证硬件设计的安全性. 展开更多

关键词 硬件设计 安全验证 定理证明 形式化语义模型 细粒度

下载PDF 职称材料

空间双层过约束可展机构的设计与分析

2

作者 牟德君 王雅静 +1 位作者 陆鹏程 王童辉 《机械工程学报》 EI CAS CSCD 北大核心 2024年第1期274-283,共10页

折展机构以其优越的折展性能,广泛应用于航空航天以及建筑等领域。以基于等边Bennett机构拓展得到的6R机构与三重对称Bricard机构巧妙结合,得到了一种可折展的环状机构,建立了多种过约束机构的几何模型并改进了环状机构的理论模型。利用... 折展机构以其优越的折展性能,广泛应用于航空航天以及建筑等领域。以基于等边Bennett机构拓展得到的6R机构与三重对称Bricard机构巧妙结合,得到了一种可折展的环状机构,建立了多种过约束机构的几何模型并改进了环状机构的理论模型。利用D-H参数法对改进组合机构进行了运动学分析,得到其运动特性。以可折展环状机构为基本组网单元搭建了大尺度单层空间折展机构;以拓展6R机构衍生的7R机构结合Sarrus机构设计了可折展的连接单元,与单层折展机构复合构建空间双层可展机构,并提出了空间多层折展机构的可能性。 展开更多

关键词 空间折展机构 过约束机构 拓展6R机构 组网

原文传递

柱脚不均匀沉降对单斜撑钢井架的影响与治理研究

3

作者 李林 穆德君 +3 位作者 刘勇 李翔宇 阴琪翔 常鸿飞 《煤炭工程》 北大核心 2024年第6期80-88,共9页

长期的荷载作用可能导致矿井井架变形和不均匀沉降,甚至可能引起结构整体倾覆。针对童亭煤矿钢结构单斜撑井架的沉降和受力特点,采用ANSYS有限元软件构建了单斜撑井架结构模型,研究了斜撑基础不均匀沉降对井架结构内力的影响规律,并对... 长期的荷载作用可能导致矿井井架变形和不均匀沉降,甚至可能引起结构整体倾覆。针对童亭煤矿钢结构单斜撑井架的沉降和受力特点,采用ANSYS有限元软件构建了单斜撑井架结构模型,研究了斜撑基础不均匀沉降对井架结构内力的影响规律,并对井架内力受不均匀沉降影响机理进行分析。结果表明:①立架与斜撑间的沉降差值会引起立架C柱底和顶部横梁的应力呈线性增加,对斜撑影响较小;X方向沉降率达到2.04‰时,立架最大应力出现于C柱底,约为148 MPa,低于钢材设计强度的限值。②两斜撑基础间的不均匀沉降对单斜撑井架的不利影响更大,断绳工况下的Y方向沉降率为0.88‰时即发生应力超限破坏,略低于《矿山井架设计标准》中对单斜撑式钢井架斜撑基础间最大1‰的沉降差值限制。③不均匀沉降导致井架内力重分布,井架最大应力值和位移值均随沉降值增大而增大,其中立架C柱和斜撑上下天轮梁为最危险部位。针对井架沉降现状,提出了重点部位的加固和顶升方案,加固后井架内力和变形均大幅降低,静力性能提升30%。 展开更多

关键词 高耸钢结构 单斜撑井架 不均匀沉降 静力性能 治理措施

下载PDF 职称材料

沥青路面坑槽病害原因探讨

4

作者 慕德军 刘光辉 《山东交通科技》 2023年第1期108-109,共2页

对于沥青混凝土路面的坑槽问题,从沥青混凝土原材料和摊铺两个方面展开论述,分析产生的原因,提出相应的解决办法。

关键词 沥青路面坑槽 原材料 摊铺

下载PDF 职称材料

能量隐通道安全高层综合设计方法 被引量：2

5

作者 张璐 慕德俊 +1 位作者 胡伟 邰瑜 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2020年第4期64-69,共6页

针对高层综合设计流程中长期缺乏有效安全设计流程的问题,提出了一种针对能量侧信道的高层综合安全设计方法。该方法通过构建能量安全属性模块库量化侧信道安全,使用安全优化控制流产生高效安全的并行调度机制,应用安全优化数据流生成... 针对高层综合设计流程中长期缺乏有效安全设计流程的问题,提出了一种针对能量侧信道的高层综合安全设计方法。该方法通过构建能量安全属性模块库量化侧信道安全,使用安全优化控制流产生高效安全的并行调度机制,应用安全优化数据流生成安全的系统存储架构;该设计方法帮助设计者在产品性能与安全性之间进行权衡,能够在设计初始阶段排除能量侧信道风险,从而在满足设计需求的前提下达到生成更安全高效硬件密码核的目标。在现场可编程门阵列平台上对所提出的高层综合安全设计流程进行了验证。实验结果表明,相比于传统的设计流程,该设计方法减少了72%的资源消耗和70%的时钟消耗,吞吐量提高了88%,并且能够最大程度地降低硬件设计中存在的能量隐通道安全风险。 展开更多

关键词 高层综合技术 硬件设计 密码设备 信息泄露 能量侧信道

下载PDF 职称材料

RSA密码核时间侧信道检测与量化分析 被引量：2

6

作者 毛保磊 慕德俊 +2 位作者 胡伟 张慧翔 秦茂源 《计算机工程与应用》 CSCD 北大核心 2017年第10期8-12,26,共6页

攻击者通过RSA时间侧信道可有效破解其密钥。但目前缺乏有效的方法检测和评估RSA硬件密码核时间侧信道信息泄漏。针对此问题,利用门级信息流追踪方法检测RSA时间侧信道;提出一种测试框架对密钥位泄露进行定性检测和定量分析。通过对五... 攻击者通过RSA时间侧信道可有效破解其密钥。但目前缺乏有效的方法检测和评估RSA硬件密码核时间侧信道信息泄漏。针对此问题,利用门级信息流追踪方法检测RSA时间侧信道;提出一种测试框架对密钥位泄露进行定性检测和定量分析。通过对五种不同RSA密码硬件体系结构进行案例研究,实验结果显示,所提方法可有效评估和验证迁移技术对RSA时间侧信道信息泄露的影响。该测试方法可有效辅助硬件设计人员权衡时间侧信道安全性、硬件资源消耗和性能等指标。 展开更多

关键词 时间信道 信息流 RSA算法 硬件设计

下载PDF 职称材料

降低供热管网受限空间作业风险的措施

7

作者 颜欣 母德军 +1 位作者 蒋继黎 张大勇 《电力安全技术》 2022年第2期73-75,共3页

在电厂供热管网维护过程中,管网疏排水、放水、分段隔离等操作大都需要进入阀门井等受限空间内进行工作。受限空间一直是安全事故的高发区域,作业风险点多,作业风险性大。从某电厂供热管网实际情况出发,介绍了部分降低供热管网受限空间... 在电厂供热管网维护过程中,管网疏排水、放水、分段隔离等操作大都需要进入阀门井等受限空间内进行工作。受限空间一直是安全事故的高发区域,作业风险点多,作业风险性大。从某电厂供热管网实际情况出发,介绍了部分降低供热管网受限空间作业风险的措施,有效地保障供热管网安全稳定运行,降低受限空间事故发生率。 展开更多

关键词 供热管网 受限空间 疏水 安全风险

下载PDF 职称材料

Bennett机构交错角区间和机构类型的关系 被引量：1

8

作者 鹿玲 张一同 +2 位作者 牟德君 胡波 卢文娟 《机械工程学报》 EI CAS CSCD 北大核心 2020年第9期9-17,共9页

目前Bennett(BNT)机构根据回转副轴线的方向,分成非对称安装和线性对称安装两类。为了研究这两类机构的共性和区别,在杆件交错角(0,2π)的区域内,用相邻象限组合为4个区间,由S12(第1-2象限)区间和S34(第3-4象限)区间各得到1组非对称安... 目前Bennett(BNT)机构根据回转副轴线的方向,分成非对称安装和线性对称安装两类。为了研究这两类机构的共性和区别,在杆件交错角(0,2π)的区域内,用相邻象限组合为4个区间,由S12(第1-2象限)区间和S34(第3-4象限)区间各得到1组非对称安装的左旋和右旋BNT机构;由S23(第2-3象限)和S41(第4-1象限)区间各得到1组线性对称安装的左旋和右旋BNT机构。把前后2组机构进行对比,只有轴线方向是非对称的,机构结构本身都是对称的。由于S12和S34区间的非对称安装机构,通过交错角的设定,可以转换为S41区间的线性对称机构,所以线性对称和非对称之间并无本质差别,4组机构本质是相同的1组。因为S41区间机构的运动副的轴线方向指向相同,轴线的正方向与相邻杆内角逆时针的角位移方向一致,所以把S41区间改用交错角锐角表示的R41(第4-1象限)区间作为交错角的工作区间,就得到线性对称的右旋型和左旋型两种BNT机构基本类型,这两类机构的运动链是相同的,只是以不同构件为机架得到两种机构的形式。根据这些概念,左旋型和右旋型BNT机构,采用交错角锐角给出了统一的结构参数方程和含相邻杆内角表示的闭环位移方程。这种交错角为锐角的统一参数方程,简单,直观,便于应用。研究强调并补充了相邻杆的交错角不能在作用区间的同一象限选取的一个必要的约束条件。 展开更多

关键词 BENNETT机构 约束条件 交错角 结构参数 闭环位移方程

原文传递

基于变中心互相关熵的比例自适应滤波算法研究 被引量：1

9

作者 柯捷 张余明 +2 位作者 慕德俊 张佳庚 马文涛 《计算机应用研究》 CSCD 北大核心 2021年第2期465-469,共5页

针对传统自适应滤波算法对于非零均值非高斯噪声干扰环境下稀疏系统参数估计存在稳态精度低的问题,以变中心互相关熵为代价函数,引入比例更新机制,应用随机梯度法设计一种新的稀疏自适应滤波算法。变中心互相关熵的中心可位于任何位置,... 针对传统自适应滤波算法对于非零均值非高斯噪声干扰环境下稀疏系统参数估计存在稳态精度低的问题,以变中心互相关熵为代价函数,引入比例更新机制,应用随机梯度法设计一种新的稀疏自适应滤波算法。变中心互相关熵的中心可位于任何位置,其可很好地匹配非零均值的误差分布,而比例更新机制为每个权值参数赋予可变的步长参数,因此可增强算法的跟踪能力。进一步设计在线学习方法来估计核宽度和中心位置,以提高算法性能。另外根据能量守恒关系研究了算法的收敛性。仿真实验结果表明,该算法相对于传统自适应滤波算法对于非零均值非高斯噪声环境下的稀疏参数估计具有明显的优越性和鲁棒性。 展开更多

关键词 变中心互相关熵 比例更新 梯度法 稀疏系统辨识 非零均值非高斯噪声

下载PDF 职称材料

基于广义杆组对多环路三移一转位移输出机构的型综合 被引量：1

10

作者 张兴 牟德君 +2 位作者 张一同 李维奇 王洪瑞 《机械工程学报》 EI CAS CSCD 北大核心 2019年第15期154-162,共9页

基于广义杆组提出了一种对多环路三移一转位移输出机构型综合的新方法。该方法把运动链当成广义杆组逐个添加在输出构件上,进一步扩展了Assar杆组法在空间的应用。分析了单环路到多环路杆组自由度与输出构件自由度和位移参数的关系,得... 基于广义杆组提出了一种对多环路三移一转位移输出机构型综合的新方法。该方法把运动链当成广义杆组逐个添加在输出构件上,进一步扩展了Assar杆组法在空间的应用。分析了单环路到多环路杆组自由度与输出构件自由度和位移参数的关系,得到了添加自由度为0的广义杆组对输出构件自由度和位移参数的变化关系。综合了三移一转位移参数的杆组,建立了交集运算规则。通过组合两个广义杆组综合输出构件自由度为2、3、4单环路机构,再添加自由度为0广义杆组,得到了双环路机构。通过自由度为0广义杆组综合出多环路机构的例证,展现了该方法在空间机构综合方面的全面性和有效性。 展开更多

关键词 型综合 广义杆组 多环路 三移一转 位移参数

原文传递

7杆Goldberg机构的结构参数和位移方程

11

作者 牟德君 张一同 +2 位作者 李艳文 胡波 卢文娟 《机械工程学报》 EI CAS CSCD 北大核心 2020年第17期82-90,共9页

目前,5杆和6杆Goldberg机构的闭环位移方程都是用相邻杆件外角表示的。为了能更清晰和直观地表达多杆Goldberg机构相邻杆之间的角度关系,给出了用相邻杆件内角表示5杆和6杆Goldberg机构的位移方程。通过对5杆和6杆Goldberg机构的分析,... 目前,5杆和6杆Goldberg机构的闭环位移方程都是用相邻杆件外角表示的。为了能更清晰和直观地表达多杆Goldberg机构相邻杆之间的角度关系,给出了用相邻杆件内角表示5杆和6杆Goldberg机构的位移方程。通过对5杆和6杆Goldberg机构的分析,提出了一种新的7杆Goldberg机构,给出了它的用相邻杆件内角表示的结构参数方程和闭环位移方程。通过实例验证了7杆Goldberg机构的闭环位移方程和输入输出方程的正确性。分析并给出了7杆Goldberg机构的存在条件:除了满足连杆和连架杆必要的Bennett约束条件之外,还必须满足不同虚拟环路的机架共线的条件。在理论上拓宽了Goldberg机构的概念和应用范围。 展开更多

关键词 Goldberg机构 BENNETT机构 7R机构 闭环位移方程 型综合

原文传递

光谱红移/SINS自主组合导航方法

12

作者 高朝晖 慕德俊 +2 位作者 魏文辉 高社生 张晶 《弹箭与制导学报》 CSCD 北大核心 2017年第4期9-13,共5页

为了满足巡航弹对导航系统高精度和强可靠性的要求,提出一种基于光谱红移测速原理的捷联惯导(SINS)/光谱红移(SRS)自主组合导航新方法。在研究光谱红移导航原理的基础上,设计了SINS/SRS自主组合导航系统方案,建立了该组合导航系统的数... 为了满足巡航弹对导航系统高精度和强可靠性的要求,提出一种基于光谱红移测速原理的捷联惯导(SINS)/光谱红移(SRS)自主组合导航新方法。在研究光谱红移导航原理的基础上,设计了SINS/SRS自主组合导航系统方案,建立了该组合导航系统的数学模型和算法,并进行了仿真验证。结果表明:提出的SINS/SRS自主组合导航新方法,能利用SRS获得的高精度速度信息对SINS进行校正,有效抑制SINS随时间累积的误差,精度高,可靠性好,能满足巡航弹对导航系统性能的要求。 展开更多

关键词 光谱红移 捷联惯导 SINS/SRS组合导航

下载PDF 职称材料

基于广义最大Versoria准则的稀疏自适应滤波算法

13

作者 欧跃发 杨鸣坤 +2 位作者 慕德俊 柯捷 马文涛 《计算机应用》 CSCD 北大核心 2021年第11期3325-3331,共7页

针对脉冲噪声干扰环境下传统稀疏自适应滤波稳态性能差,甚至无法收敛等问题,同时为提高稀疏参数辨识的精度的同时不增加过多计算代价,提出了一种基于广义最大Versoria准则(GMVC)的稀疏自适应滤波算法——带有CIM约束的GMVC(CIMGMVC)。首... 针对脉冲噪声干扰环境下传统稀疏自适应滤波稳态性能差,甚至无法收敛等问题,同时为提高稀疏参数辨识的精度的同时不增加过多计算代价,提出了一种基于广义最大Versoria准则(GMVC)的稀疏自适应滤波算法——带有CIM约束的GMVC(CIMGMVC)。首先,利用广义Versoria函数作为学习准则,其包含误差p阶矩的倒数形式,当脉冲干扰出现导致误差非常大时,GMVC将趋近于0,从而达到抑制脉冲噪声的目的。其次,将互相关熵诱导维度(CIM)作为稀疏惩罚约束和GMVC相结合来构建新代价函数,其中的CIM以高斯概率密度函数为基础,当选择合适核宽度时,可无限逼近于l_(0)-范数。最后,应用梯度法推导出CIMGMVC算法,并分析了所提算法的均方收敛性。在Matlab平台上采用α-stable分布模型产生脉冲噪声进行仿真,实验结果表明所提出的CIMGMVC算法能有效地抑制非高斯脉冲噪声的干扰,在稳健性方面优于传统稀疏自适应滤波,且稳态误差低于GMVC算法。 展开更多

关键词 自适应滤波 最大Versoria准则 稀疏参数估计 互相关熵诱导维度 非高斯噪声干扰

下载PDF 职称材料

针对硬件木马的形式化验证模型构造方法

14

作者 沈利香 慕德俊 +2 位作者 曹国 谢光前 束方勇 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2021年第3期146-154,共9页

针对硬件安全验证的效率受形式化验证模型构建方式影响的问题,提出了一种面向硬件木马检测的自动构造形式化验证模型的方法。该方法首先遍历寄存器传输级设计的控制流图,提取出赋值语句的路径条件及其对应赋值表达式,构成Kripke结构中... 针对硬件安全验证的效率受形式化验证模型构建方式影响的问题,提出了一种面向硬件木马检测的自动构造形式化验证模型的方法。该方法首先遍历寄存器传输级设计的控制流图,提取出赋值语句的路径条件及其对应赋值表达式,构成Kripke结构中状态转移的约束关系;然后将Verilog语法的约束关系转换成模型检测器的语法,从而生成形式化验证模型;最后利用模型检测器对所构造的模型进行验证,当模型违反设定的安全验证属性时,检测到其中的硬件木马。利用Trust-HUB硬件木马测试基准的实验结果表明,该方法生成的形式化验证模型,能够有效检测寄存器传输级硬件设计中的木马。 展开更多

关键词 形式化验证 模型检测 硬件安全 硬件木马 安全验证

下载PDF 职称材料

一系列特殊的超6阶机构

15

作者 张一同 李艳文 +2 位作者 胡波 牟德君 赵美欣 《机械工程学报》 EI CAS CSCD 北大核心 2021年第5期31-39,共9页

从机架共线的五环、六环、…、九环BNT(Bennett)机构中,拆去相邻环路公用的连架杆和它们两端的回转副,分别得到单环路的8杆、9杆、…、12杆机构。对拆杆前和拆杆后连杆铰链点轨迹圆的分析,发现铰链点的轨迹圆完全相同,证实了两种机构的... 从机架共线的五环、六环、…、九环BNT(Bennett)机构中,拆去相邻环路公用的连架杆和它们两端的回转副,分别得到单环路的8杆、9杆、…、12杆机构。对拆杆前和拆杆后连杆铰链点轨迹圆的分析,发现铰链点的轨迹圆完全相同,证实了两种机构的运动学性能完全等效。得出单环路的8杆、…、12杆机构都符合BNT约束条件,机构自由度为1,它们的环路阶,分别为7、…、11,它们是一族新型的超6阶GBG(Goldberg)机构。这一发现,突破了现有环路阶小于等于6的传统观点。得出N杆GBG机构与机架共线的N 3环BNT机构的自由度相等,其值为1,N杆GBG机构的环路阶d是N 1的重要结论。通过对8杆GBG机构所有从动件的角位移θi(i=2, 3,…, 8)都是原动件角位移θ1的一元函数的分析,证明了该机构的自由度为1。在Solidworks中,对8杆GBG机构的各杆角位移进行了检测,其结果和拆杆前的5环BNT机构对应的角位移检测值完全相同,精确地证明了两种机构运动学性能是完全等效的。充分证明了8杆GBG机构是自由度为1,环路阶为7的超6阶机构,也证明了用轨迹圆判断BNT约束条件的实用性和可靠性。这一研究成果拓宽了机构环路阶的使用区间,也使人们对机械系统约束性质的多样性有了更新的认识。 展开更多

关键词 BENNETT机构 Goldberg机构 超6阶Goldberg机构 轨迹圆

原文传递

基于粒子群优化的云计算低能耗资源调度算法 被引量：23

16

作者 贾嘉 慕德俊 《西北工业大学学报》 EI CAS CSCD 北大核心 2018年第2期339-344,共6页

针对云计算环境中能耗过高问题,提出一种基于粒子群优化方法的云计算低能耗资源调度算法。首先建立了云环境中资源调度的能耗模型;在此模型基础上,指出能耗最优是多目标优化的帕累托(Pareto)最优问题。根据能耗模型,将粒子参数设为服务... 针对云计算环境中能耗过高问题,提出一种基于粒子群优化方法的云计算低能耗资源调度算法。首先建立了云环境中资源调度的能耗模型;在此模型基础上,指出能耗最优是多目标优化的帕累托(Pareto)最优问题。根据能耗模型,将粒子参数设为服务器分配状态和频率分配状态,从而寻找获得单粒子的局部最优帕累托解集;合并多个粒子最优解集,得到单个分配方案下帕累托全局最优解(Pareto optimality)集合;最后,在不同分配方案对应的最优解集合中寻找最优解。实验验证了所提算法的有效性。与广泛使用的轮询调度算法比较,所提算法的动态能耗为轮询算法的45.5%。 展开更多

关键词 云计算 代价函数 帕累托最优 资源调度 粒子群 调度算法

下载PDF 职称材料

RSA时间信道滑动窗口攻击方法及量化分析 被引量：9

17

作者 毛保磊 慕德俊 +3 位作者 胡伟 张慧翔 邰瑜 张璐 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2017年第5期114-120,共7页

RSA硬件密码核的时间侧信道对硬件安全构成严重威胁.针对此问题,提出一种显著提高RSA硬件密码核时序攻击成功率的滑动窗口攻击方法;同时提出一种信息理论模型,量化分析该攻击方法提高攻击成功率的机制.通过对RSA密码核进行攻击测试,与Ko... RSA硬件密码核的时间侧信道对硬件安全构成严重威胁.针对此问题,提出一种显著提高RSA硬件密码核时序攻击成功率的滑动窗口攻击方法;同时提出一种信息理论模型,量化分析该攻击方法提高攻击成功率的机制.通过对RSA密码核进行攻击测试,与Kocher攻击方法相比,滑动窗口时序攻击方法将攻击成功率从73%提高到96%.利用互信息指标测量滑动窗口下密钥对密码核运行时间的影响,实验结果显示,互信息测量结果与攻击成功率存在强相关性.实验结果表明,信息理论模型和指标能够提供一种高效精确的方法以量化分析滑动窗口攻击方法的有效性,评估RSA硬件密码核时间侧信道的安全威胁. 展开更多

关键词 侧信道攻击 信息理论 量化分析 信息泄露 时序攻击

下载PDF 职称材料

基于生成对抗网络与自编码器的网络流量异常检测模型 被引量：6

18

作者 郭森森 王同力 慕德俊 《信息网络安全》 CSCD 北大核心 2022年第12期7-15,共9页

近年来,机器学习尤其是深度学习算法在网络流量入侵检测领域得到了广泛应用,数据集样本类别分布情况是影响机器学习算法性能的一个重要因素。针对网络攻击类别多样,现有网络流量数据集类别分布不均的问题,文章提出了一种基于生成对抗网... 近年来,机器学习尤其是深度学习算法在网络流量入侵检测领域得到了广泛应用,数据集样本类别分布情况是影响机器学习算法性能的一个重要因素。针对网络攻击类别多样,现有网络流量数据集类别分布不均的问题,文章提出了一种基于生成对抗网络与自编码器的网络流量异常检测模型。首先,文章使用基于Wasserstein距离的条件生成对抗网络对原始网络流量数据中的少数类别进行重采样;然后,使用堆叠去噪自编码器对重采样后的数据进行重构,获取数据的潜在信息;最后,使用编码器网络结合Softmax网络识别异常网络流量数据。在NSL-KDD入侵检测数据集上进行实验,实验结果表明,文章提出的异常检测模型可以有效提高类别占比不均衡的数据集中数量占比较少的攻击类型的识别率。 展开更多

关键词 深度学习 异常检测 生成对抗网络 去噪自编码器

下载PDF 职称材料

基于三维模型贴图与结构数据的信息隐藏算法 被引量：6

19

作者 任帅 王震 +2 位作者 苏东旭 张弢 慕德俊 《通信学报》 EI CSCD 北大核心 2019年第5期211-222,共12页

针对三维模型信息隐藏无法有效抵抗联合攻击,秘密信息极易被破坏而无法正确提取的问题,提出一种基于三维模型贴图与结构数据的信息隐藏算法。首先,在标准图片库中选取多幅原始stl三维模型载体的纹理贴图,利用db1函数经过2次二维离散Daub... 针对三维模型信息隐藏无法有效抵抗联合攻击,秘密信息极易被破坏而无法正确提取的问题,提出一种基于三维模型贴图与结构数据的信息隐藏算法。首先,在标准图片库中选取多幅原始stl三维模型载体的纹理贴图,利用db1函数经过2次二维离散Daubechies变换将备份的隐秘消息以水印嵌入的思想隐藏其中;其次,以stl类型的三维模型为原始结构载体,利用帧化采样的小波域三维模型信息隐藏算法,将要隐藏的隐秘信息嵌入相应变换空间;最后,利用正交投影的纹理映射算法将二维贴图数据与三维stl数据矩阵相乘,生成含密obj模型文件进行传输。算法利用三维模型的贴图与拓扑坐标空间双重嵌入隐秘信息,有效增强了算法的顽健性。实验分析表明,含密三维模型的不可见性、顽健性以及抗分析性均有提升,可以实现不同类型载体冗余空间的备份隐藏嵌入,为复杂环境下的信息安全传输提供一种可靠的技术手段。 展开更多

关键词 信息隐藏 二维离散Daubechies小波变换 obj模型 抗分析性

下载PDF 职称材料

基于门级信息流追踪技术的逻辑混淆攻击方法

20

作者 刘亮 朱嘉诚 +3 位作者 张喆 沈利香 孙玉峰 慕德俊 《西北工业大学学报》 EI CAS CSCD 北大核心 2024年第1期78-83,共6页

逻辑混淆技术是一种实现知识产权保护、防止逆向工程的主流技术手段。提出了基于门级信息流追踪技术的逻辑混淆攻击方法,采用门级抽象层次上的信息流分析方法,建立信息流模型,对输出及其污染标签进行约束,使用SAT求解器求解满足约束条... 逻辑混淆技术是一种实现知识产权保护、防止逆向工程的主流技术手段。提出了基于门级信息流追踪技术的逻辑混淆攻击方法,采用门级抽象层次上的信息流分析方法,建立信息流模型,对输出及其污染标签进行约束,使用SAT求解器求解满足约束条件的混淆密钥序列。实验结果表明该攻击方法对5种混淆加密算法、2种面积开销生成的测试基准有很好的破解效果和效率。 展开更多

关键词 逻辑混淆攻击 门级信息流追踪 集成电路 知识产权保护

下载PDF 职称材料