检索结果-维普期刊中文期刊服务平台

基于作战环的空间信息时效网关键节点分析模型被引量：14: 1; 作者罗凯张明智吴曦《系统工程与电子技术》 EI CSCD 北大核心 2016年第7期1572-1576,共5页; 体系作战中的空间信息网络具有复杂动态性特点,其本身带有不同于其他网络的时间和空间尺度,具有动态的节点关系和不可逆的时间关系等特征属性。为了刻画这些特征属性在空间信息网络构建、网络关键节点分析中的作用,引入时效网络,提出了... 展开更多; 关键词时效网络空间信息网络关键节点作战环拓扑结构脆弱性; 在线阅读下载PDF 职称材料

空间信息网络关键节点分析方法研究被引量：9: 2; 作者张明智罗凯吴曦《系统仿真学报》 CAS CSCD 北大核心 2015年第6期1235-1239,共5页; 空间信息网络结构具有动态变化等特性,对其关键节点分析应该在某一时间段内考虑。在基于时间片的空间信息网络关键节点分析方法基础上,结合卫星的业务特点,提出了一种基于累积模式的动态空间信息网络关键节点分析方法,通过对节点之间访... 展开更多; 关键词空间信息网络拓扑结构脆弱性分析关键节点访问度时间片; 在线阅读下载PDF 职称材料

复合式软件随机化安全防御方法被引量：3: 3; 作者韩鹍张海林 +2 位作者吴波辛丹任智源《西安电子科技大学学报》 EI CAS CSCD 北大核心 2017年第2期191-196,共6页; 传统的软件安全防御方法一直存在易攻难守的问题,为构建易守难攻的软件安全防御体系,论文基于移动目标防御的思想设计和实现了一种复合式软件纵深安全防御方法,抵御基于软件漏洞的攻击行为.该方法分别在源代码和二进制代码层面引入软件... 展开更多; 关键词防御标准软件生成随机编译器软件纵深防御; 在线阅读下载PDF 职称材料

基于特征匹配的IP软核硬件木马检测被引量：3: 4; 作者倪林石磊 +1 位作者韩鹍李少青《计算机工程》 CAS CSCD 北大核心 2017年第3期176-180,共5页; 集成电路设计过程中引入的非受控第三方IP软核较容易被植入硬件木马,以往的功能测试方法较难实现全覆盖检测。为此,分析硬件木马结构及其在IP软核中的实现特征,提出一种基于硬件木马特征匹配的检测方法。给出特征识别流程,构建基于Trust... 展开更多; 关键词 IP软核硬件木马安全芯片匹配算法特征库; 在线阅读下载PDF 职称材料

利用身份的全同态加密函数库设计方法被引量：2: 5; 作者韩鹍张海林 +2 位作者辛丹吴波康元基《西安电子科技大学学报》 EI CAS CSCD 北大核心 2017年第4期56-61,共6页; 针对当前全同态加密体制公钥尺寸过大、加解密效率低的问题,研究了基于身份的全同态加密体制并设计了相应的全同态加密函数库.首先,基于简单加密算术库中的基础定义和运算,实现了基于身份的全同态加密函数库;然后,给出了整数和字符串转... 展开更多; 关键词全同态加密利用身份加密函数库设计云计算加密; 在线阅读下载PDF 职称材料

一种新的GEO/LEO双层星座路由算法被引量：1: 6; 作者刘炯陶波 +1 位作者李志军张琳《电讯技术》北大核心 2016年第9期982-989,共8页; 针对多层卫星星座网络的复杂通信环境和特殊应用背景,提出一种新的基于优先级的星上分布式路由算法(PDRA)。PDRA算法采用新的分层管理策略,根据信息重要程度设置优先级,在拓扑快照起始时刻进行路由计算与更新,信息传输过程中采用拥塞回... 展开更多; 关键词卫星网络 GEO/LEO双层星座路由算法优先级拥塞回避; 在线阅读下载PDF 职称材料

一种动静结合的高代码覆盖率模糊测试方法被引量：1: 7; 作者韩鹍吴波辛丹《信息安全研究》 2016年第8期699-705,共7页; 针对浏览器软件的漏洞挖掘,目前业界主流自动化方案为模糊测试,但由于现有方法基本不关注测试过程的代码覆盖情况,致使众多测试用例可能一直覆盖的是同一条代码执行路径而不被察觉,导致整体代码覆盖率低、测试效果差.为研究具有高代码... 展开更多; 关键词漏洞挖掘覆盖率导向测试用例生成模糊测试二进制插装; 在线阅读下载PDF 职称材料

题名基于作战环的空间信息时效网关键节点分析模型被引量：14: 1; 作者罗凯张明智吴曦; 机构国防大学信息作战与指挥训练教研部西安通信学院信息安全系; 出处《系统工程与电子技术》 EI CSCD 北大核心 2016年第7期1572-1576,共5页; 基金国家自然科学基金(61174156 61273189 +3 种基金 61374179 61403401 71401168) 军民共用重大研究计划联合基金(U1435218)资助课题; 文摘体系作战中的空间信息网络具有复杂动态性特点,其本身带有不同于其他网络的时间和空间尺度,具有动态的节点关系和不可逆的时间关系等特征属性。为了刻画这些特征属性在空间信息网络构建、网络关键节点分析中的作用,引入时效网络,提出了空间信息时效网关键节点分析模型。首先,基于标准作战环提出了基于时效网络的作战环模型;其次,侧重网络边属性的时效性建立了空间信息时效网络模型;最后,以作战环为基础构建了网络拓扑结构的关键节点分析指标与模型,仿真实验结果验证了其有效性。; 关键词时效网络空间信息网络关键节点作战环拓扑结构脆弱性; Keywords temporal network space information network key nodes operation loop topology structure vulnerability; 分类号 E917 [军事]; 在线阅读下载PDF 职称材料

题名空间信息网络关键节点分析方法研究被引量：9: 2; 作者张明智罗凯吴曦; 机构国防大学信息作战与指挥训练教研部西安通信学院信息安全系; 出处《系统仿真学报》 CAS CSCD 北大核心 2015年第6期1235-1239,共5页; 基金国家自然科学基金(61174156 61273189 61374179); 文摘空间信息网络结构具有动态变化等特性,对其关键节点分析应该在某一时间段内考虑。在基于时间片的空间信息网络关键节点分析方法基础上,结合卫星的业务特点,提出了一种基于累积模式的动态空间信息网络关键节点分析方法,通过对节点之间访问时间和访问次数的加权处理,将空间信息网络转化为加权静态空间信息网络后进行关键节点分析。利用STK和MATLAB软件进行仿真,实验结果表明所提出的方法能较好地分析空间信息网络关键节点。; 关键词空间信息网络拓扑结构脆弱性分析关键节点访问度时间片; Keywords space information network topology structure vulnerability analysis key nodes access degree time slice; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名复合式软件随机化安全防御方法被引量：3: 3; 作者韩鹍张海林吴波辛丹任智源; 机构西安电子科技大学通信工程学院西安通信学院信息安全系; 出处《西安电子科技大学学报》 EI CAS CSCD 北大核心 2017年第2期191-196,共6页; 基金国家自然科学基金资助项目(61401331) 国家重点研发计划政府间专项资助项目(2016YFE0123000); 文摘传统的软件安全防御方法一直存在易攻难守的问题,为构建易守难攻的软件安全防御体系,论文基于移动目标防御的思想设计和实现了一种复合式软件纵深安全防御方法,抵御基于软件漏洞的攻击行为.该方法分别在源代码和二进制代码层面引入软件随机化方法,并通过元数据库的设计实现基于源码和基于二进制随机化机制的有机协同,从而形成纵深形式的软件安全防护能力.原型系统的实验结果表明,该方法能够自动、有效地生成随机化软件系统,且生成的目标软件在静态分析和动态运行两个方面都呈现出不确定性,使攻击者难以分析和攻击,从而有效抵御基于软件漏洞的网络攻击.; 关键词防御标准软件生成随机编译器软件纵深防御; Keywords defense standards software generation random complier software defense in depth; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于特征匹配的IP软核硬件木马检测被引量：3: 4; 作者倪林石磊韩鹍李少青; 机构西安通信学院信息安全系国防科学技术大学计算机学院; 出处《计算机工程》 CAS CSCD 北大核心 2017年第3期176-180,共5页; 基金国家自然科学基金"基于功耗特征的硬件木马识别模型与算法研究"(6147137); 文摘集成电路设计过程中引入的非受控第三方IP软核较容易被植入硬件木马,以往的功能测试方法较难实现全覆盖检测。为此,分析硬件木马结构及其在IP软核中的实现特征,提出一种基于硬件木马特征匹配的检测方法。给出特征识别流程,构建基于Trust-Hub硬件木马的特征库,在AES算法的RTL,级描述中设计3种不同功能类型的硬件木马电路进行分析。实例结果表明,利用提出的特征匹配方法并结合目标载体特征分析,可在冗余代码不高于10%的精度下实现硬件木马的有效识别。; 关键词 IP软核硬件木马安全芯片匹配算法特征库; Keywords IP soft core hardware trojan security chip matching algorithm feature library; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名利用身份的全同态加密函数库设计方法被引量：2: 5; 作者韩鹍张海林辛丹吴波康元基; 机构西安电子科技大学通信工程学院西安通信学院信息安全系; 出处《西安电子科技大学学报》 EI CAS CSCD 北大核心 2017年第4期56-61,共6页; 基金国家自然科学基金资助项目(61401331) 国家重点研发计划政府间专项资助项目(2016YFE0123000); 文摘针对当前全同态加密体制公钥尺寸过大、加解密效率低的问题,研究了基于身份的全同态加密体制并设计了相应的全同态加密函数库.首先,基于简单加密算术库中的基础定义和运算,实现了基于身份的全同态加密函数库;然后,给出了整数和字符串转化为明文多项式的编码方式,分析了使用基于身份的全同态加密函数库时的参数选择方法;最后,为用户设计了体制参数的自动生成工具,以满足效率和安全性需求.实验证明,基于身份的全同态加密体制具有密文运算效率高且无须公钥证书的优点,设计的函数库为基于身份的全同态加密体制的实际应用奠定了基础.; 关键词全同态加密利用身份加密函数库设计云计算加密; Keywords fully homomorphic encryption identity-based encryption function library design cloudcomputing encryption; 分类号 TP309.7 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种新的GEO/LEO双层星座路由算法被引量：1: 6; 作者刘炯陶波李志军张琳; 机构西安通信学院信息安全系解放军; 出处《电讯技术》北大核心 2016年第9期982-989,共8页; 基金全军军事学研究生课题资助项目(2011JY002-253 2015JY175)~~; 文摘针对多层卫星星座网络的复杂通信环境和特殊应用背景,提出一种新的基于优先级的星上分布式路由算法(PDRA)。PDRA算法采用新的分层管理策略,根据信息重要程度设置优先级,在拓扑快照起始时刻进行路由计算与更新,信息传输过程中采用拥塞回避策略。理论分析和仿真验证表明,PDRA算法与现有典型卫星星座网络路由算法相比性能优越,能够很好地利用GEO/LEO双层星座特点,有较低的数据丢包率和较高的吞吐量,可有效避免链路拥塞,并能保证重要信息实时可靠传输。; 关键词卫星网络 GEO/LEO双层星座路由算法优先级拥塞回避; Keywords satellite network GEO/LEO double-layered satellite constellation network routing algorithm priority-based congestion avoidance; 分类号 TN927 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名一种动静结合的高代码覆盖率模糊测试方法被引量：1: 7; 作者韩鹍吴波辛丹; 机构西安电子科技大学西安通信学院信息安全系; 出处《信息安全研究》 2016年第8期699-705,共7页; 基金陕西省自然科学基础研究计划基金项目(2014JM2-6097); 文摘针对浏览器软件的漏洞挖掘,目前业界主流自动化方案为模糊测试,但由于现有方法基本不关注测试过程的代码覆盖情况,致使众多测试用例可能一直覆盖的是同一条代码执行路径而不被察觉,导致整体代码覆盖率低、测试效果差.为研究具有高代码覆盖率的测试方法,讨论了一种动静结果的高代码覆盖率模糊测试方法,该方法综合利用静态和动态测试用例生成方式的优势,并以代码覆盖率指标来引导测试过程.测试过程首先构造静态变异的样本集合,然后将静态变异结果插入到动态变异引擎,由动态变异引擎加载和执行测试过程,再通过代码覆盖率监测引擎收集路径执行情况,并将覆盖情况反馈到静态变异引擎以辅助其生成更有效的测试用例,最后通过动态监控来检测出潜在漏洞.原型系统DASFuzzer的实验表明:该方法能够有效地提高浏览器测试过程的代码覆盖率,并且能够准确检测出未知漏洞.; 关键词漏洞挖掘覆盖率导向测试用例生成模糊测试二进制插装; Keywords vulnerability detection coverage directed test case generation fuzzing binary instrumentation; 分类号 TP393.08 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于作战环的空间信息时效网关键节点分析模型	罗凯张明智吴曦	《系统工程与电子技术》 EI CSCD 北大核心	2016	14	在线阅读下载PDF 职称材料
2	空间信息网络关键节点分析方法研究	张明智罗凯吴曦	《系统仿真学报》 CAS CSCD 北大核心	2015	9	在线阅读下载PDF 职称材料
3	复合式软件随机化安全防御方法	韩鹍张海林吴波辛丹任智源	《西安电子科技大学学报》 EI CAS CSCD 北大核心	2017	3	在线阅读下载PDF 职称材料
4	基于特征匹配的IP软核硬件木马检测	倪林石磊韩鹍李少青	《计算机工程》 CAS CSCD 北大核心	2017	3	在线阅读下载PDF 职称材料
5	利用身份的全同态加密函数库设计方法	韩鹍张海林辛丹吴波康元基	《西安电子科技大学学报》 EI CAS CSCD 北大核心	2017	2	在线阅读下载PDF 职称材料
6	一种新的GEO/LEO双层星座路由算法	刘炯陶波李志军张琳	《电讯技术》北大核心	2016	1	在线阅读下载PDF 职称材料
7	一种动静结合的高代码覆盖率模糊测试方法	韩鹍吴波辛丹	《信息安全研究》	2016	1	在线阅读下载PDF 职称材料