检索结果-内蒙古大学图书馆

计算机应用研究 2016年第5期33卷 1514-1521页

作者：陈蕾魏福山马传贵解放军信息工程大学数学工程与先进计算国家重点实验室郑州450001

随着无线传感器网络的快速发展,对外部用户的身份进行确认已成为获取传感器网络中实时数据所要解决的关键问题。在对无线传感器网络中双因素用户认证密钥协商方案系统的研究基础上,指出Kalra的用户认证方案存在安全缺陷,随后针对于现实... 详细信息

随着无线传感器网络的快速发展,对外部用户的身份进行确认已成为获取传感器网络中实时数据所要解决的关键问题。在对无线传感器网络中双因素用户认证密钥协商方案系统的研究基础上,指出Kalra的用户认证方案存在安全缺陷,随后针对于现实应用中敌手的能力提出一种新的可证安全方案。新方案在满足用户匿名性的同时,能达到真正的双向认证,并在针对WSN的双因素认证方案安全模型中给出安全性证明。与已有的同类方案对比,该方案具有更高的安全性和效率,更适合资源受限环境及现实应用。

关键词：无线传感器网络用户认证口令智能卡会话密钥建立

来源：评论

学校读者我要写书评

暂无评论

基于神经网络的二进制函数相似性检测技术

引用

计算机科学 2021年第10期48卷 286-293页

作者：方磊魏强武泽慧杜江张兴明信息工程大学数学工程与先进计算国家重点实验室郑州450001 之江实验室杭州310001

二进制代码相似性检测在程序的追踪溯源和安全审计中都有着广泛而重要的应用。近年来,神经网络技术被应用于二进制代码相似性检测,突破了传统检测技术在大规模检测任务中遇到的性能瓶颈,因此基于神经网络嵌入的代码相似性检测技术逐渐... 详细信息

二进制代码相似性检测在程序的追踪溯源和安全审计中都有着广泛而重要的应用。近年来,神经网络技术被应用于二进制代码相似性检测,突破了传统检测技术在大规模检测任务中遇到的性能瓶颈,因此基于神经网络嵌入的代码相似性检测技术逐渐成为热门研究。文中提出了一种基于神经网络的二进制函数相似性检测技术,该技术首先利用统一的中间表示来消除不同汇编代码在指令架构上的差异;其次在程序基本块级别,利用自然语言处理的词嵌入模型来学习中间表示代码,以获得基本块语义嵌入;然后在函数级别,利用改进的图神经网络模型来学习函数的控制流信息,同时兼顾基本块的语义,获得最终的函数嵌入;最后通过计算两个函数嵌入向量间的余弦距离来度量函数间的相似性。文中实现了一个基于该技术的原型系统,实验表明该技术的程序代码表征学习过程能够避免人为偏见的引入,改进的图神经网络更适合学习函数的控制流信息,系统的可扩展性和检测的准确率较现有方案都得到了提升。

关键词：二进制函数相似性检测表征学习图神经网络

来源：评论

学校读者我要写书评

暂无评论

面向自动向量化的结构体优化

引用

计算机科学 2016年第2期43卷 210-215页

作者：于海宁韩林李鹏远解放军信息工程大学数学工程与先进计算国家重点实验室郑州450001

结构体广泛应用在科学计算等应用程序中,向量化结构体数组存在的非连续和非对齐访存会严重影响程序的向量化效果。为减少结构体数组SIMD向量化过程中的非连续和非对齐数据访问,提出了基于域访问亲和度与域数据类型相结合的结构体拆分模... 详细信息

结构体广泛应用在科学计算等应用程序中,向量化结构体数组存在的非连续和非对齐访存会严重影响程序的向量化效果。为减少结构体数组SIMD向量化过程中的非连续和非对齐数据访问,提出了基于域访问亲和度与域数据类型相结合的结构体拆分模型,以消除域存储间的内存"间隙";同时利用结构体数组到二维数组的地址映射方式来满足结构体数组向量化时的访存连续和对齐要求,以降低Cache的失效率,从而提升应用程序性能。在自动向量化系统SW-VEC上,选取gcc-vec、spec2000和spec2006标准测试集中部分相关的测试用例,测试结果表明:与相应的串行程序相比,采用该方法后,测试用例程序性能加速比提高了8%以上。

关键词：访问亲和度结构体拆分地址映射 SIMD向量化

来源：评论

学校读者我要写书评

暂无评论

一种基于SLP的新型编译框架

引用

计算机应用研究 2017年第1期34卷 21-26页

作者：张素平王冬丁丽丽王鹏翔宫一于海宁解放军信息工程大学数学工程与先进计算国家重点实验室郑州450001

对于SLP(superword level parallel)算法不能高效处理并行代码占有率较小的大型应用程序的问题,提出并评估了一种新型的基于改进的SLP算法的编译框架。它主要包括三个阶段:将代码中结构相似的异构语句通过改进的SLP算法尽可能地改为同... 详细信息

对于SLP(superword level parallel)算法不能高效处理并行代码占有率较小的大型应用程序的问题,提出并评估了一种新型的基于改进的SLP算法的编译框架。它主要包括三个阶段:将代码中结构相似的异构语句通过改进的SLP算法尽可能地改为同构语句;用全局的观点,在优化目标代码之前获取其数据模型重用;联合数据布局优化进行进一步的性能提升。针对框架做了大量实验,实验结果表明该框架比SLP算法性能更佳,性能提高约15.3%。

关键词：超字并行同构超字重用数据布局

来源：评论

学校读者我要写书评

暂无评论

软件漏洞自动化利用综述

引用

计算机研究与发展 2024年第9期61卷 2261-2274页

作者：武泽慧魏强王新蕾王允超燕宸毓陈静数学工程与先进计算国家重点实验室(战略支援部队信息工程大学) 郑州450001 郑州大学网络空间安全学院郑州450001

近年来软件漏洞数目急剧增加,漏洞危害也引起业界广泛关注.准确、高效、快速地编写出漏洞利用代码是漏洞危害性评估和漏洞修复的关键.当前漏洞利用代码主要依赖人工手动分析编写,效率较低.因此,如何实现自动化的漏洞利用代码生成是该领... 详细信息

近年来软件漏洞数目急剧增加,漏洞危害也引起业界广泛关注.准确、高效、快速地编写出漏洞利用代码是漏洞危害性评估和漏洞修复的关键.当前漏洞利用代码主要依赖人工手动分析编写,效率较低.因此,如何实现自动化的漏洞利用代码生成是该领域研究的热点和难点.综述分析了该领域近30年的代表性成果,首先将漏洞自动化利用过程分为典型的4个环节:漏洞根源定位、可达路径搜索、漏洞原语生成、利用代码生成.然后从人机边界、攻防博弈、共性技术3个角度对上述成果进行梳理,明确当前研究的重点、难点,以及取得的阶段性成果.最后从现有成果与技术实用化所面临的差距方面,论述当前研究存在的瓶颈问题、未来的发展趋势,以及下一步的研究重点.

关键词：软件安全漏洞分析自动化利用利用生成漏洞根源

来源：评论

学校读者我要写书评

暂无评论

周期序列谱免疫度的上界

引用

密码学报 2014年第4期1卷 391-399页

作者：吴迪戚文峰陈华瑾解放军信息工程大学数学与先进计算国家重点实验室郑州450002

谱攻击是一种针对序列密码的新型代数攻击,它利用初始密钥和密钥流序列的谱值关系来建立方程系统,该方程系统的规模由密钥流序列的谱免疫度,即密钥流序列或其补序列的(非零)零化序列的最低线性复杂度决定.于是,谱免疫度成为衡量序列密... 详细信息

谱攻击是一种针对序列密码的新型代数攻击,它利用初始密钥和密钥流序列的谱值关系来建立方程系统,该方程系统的规模由密钥流序列的谱免疫度,即密钥流序列或其补序列的(非零)零化序列的最低线性复杂度决定.于是,谱免疫度成为衡量序列密码抵抗谱攻击的指标.由于谱攻击和传统代数攻击建立方程系统的方法不同,谱免疫度和代数免疫度并不等同.事实上,拥有最优代数免疫度的布尔函数其过滤生成密钥流序列的谱免疫度不一定高.相比较代数免疫度领域丰富的研究成果而言,由于提出较晚,人们对于谱免疫度的研究还不是很多.本文通过讨论周期序列特征多项式的分解,给出了其谱免疫度的紧的上界,并说明了当密钥流序列的谱免疫度达到该上界时,该序列所对应的布尔函数拥有最优或次最优代数免疫度.

关键词：代数攻击谱攻击谱免疫度上界周期序列

来源：评论

学校读者我要写书评

暂无评论

领域独立智能规划技术及其面向自动化渗透测试的攻击路径发现研究进展

引用

电子与信息学报 2020年第9期42卷 2095-2107页

作者：臧艺超周天阳朱俊虎王清贤数学工程与先进计算国家重点实验室(信息工程大学) 郑州450001 国家数字交换系统工程技术研究中心郑州450001

攻击路径发现是自动化渗透测试领域的重要研究方向。该文综合论述了领域独立智能规划技术在面向自动化渗透测试的攻击路径发现上的研究进展及应用前景。首先介绍了攻击路径发现的基本概念并按照技术原理将其划分为基于领域相关和领域独... 详细信息

攻击路径发现是自动化渗透测试领域的重要研究方向。该文综合论述了领域独立智能规划技术在面向自动化渗透测试的攻击路径发现上的研究进展及应用前景。首先介绍了攻击路径发现的基本概念并按照技术原理将其划分为基于领域相关和领域独立规划技术的攻击路径发现方法。然后介绍了领域独立智能规划算法,包括确定性规划算法、非确定性规划算法和博弈规划的技术原理和发展状况并就各类方法在攻击路径发现中的应用进行了综述。接着分析总结了渗透测试过程的特点,对比了领域独立智能规划算法应用在面向自动化渗透测试的攻击路径发现时的优缺点。最后对攻击路径发现将来的发展方向进行了总结和展望,希望对未来进一步的研究工作有一定的参考价值。

关键词：领域独立智能规划技术自动化渗透测试攻击路径发现

来源：评论

学校读者我要写书评

暂无评论

基于W态和EPR对受控概率隐形传输类团簇态

引用

郑州大学学报（理学版） 2014年第1期46卷 68-72页

作者：杨本朝曾光信息工程大学数学工程与先进计算国家重点实验室河南郑州450002

提出一个利用部分纠缠EPR对和W态作为量子信道,在可信第三方(Charlie)的控制下,发送方(Alice)进行3次Bell基测量、一次Hadmard变换和单粒子测量,接收方(Bob)引进一个辅助粒子,进行相应的幺正操作,则可以以一定的概率实现类团簇态的隐形... 详细信息

提出一个利用部分纠缠EPR对和W态作为量子信道,在可信第三方(Charlie)的控制下,发送方(Alice)进行3次Bell基测量、一次Hadmard变换和单粒子测量,接收方(Bob)引进一个辅助粒子,进行相应的幺正操作,则可以以一定的概率实现类团簇态的隐形传输.

关键词：隐形传输幺正变换类团簇态

来源：评论

学校读者我要写书评

暂无评论

向量并行度指导的循环SIMD向量化方法

引用

软件学报 2017年第4期28卷 925-939页

作者：高伟韩林赵荣彩徐金龙陈超然数学工程与先进计算国家重点实验室(解放军信息工程大学) 河南郑州450000 防空兵指挥学院河南郑州450000

SIMD扩展部件是集成到通用处理器中的加速部件,旨在发掘多媒体和科学计算等领域程序的数据级并行.当前,两种基本的向量发掘方法分别是发掘迭代间并行的Loop-based方法和发掘迭代内并行的SLP方法.Loopaware方法是对SLP方法的改进,其思想... 详细信息

SIMD扩展部件是集成到通用处理器中的加速部件,旨在发掘多媒体和科学计算等领域程序的数据级并行.当前,两种基本的向量发掘方法分别是发掘迭代间并行的Loop-based方法和发掘迭代内并行的SLP方法.Loopaware方法是对SLP方法的改进,其思想是:首先,通过循环展开将迭代间并行转换为迭代内并行,使循环体内的同构语句条数足够多;再利用SLP方法进行向量发掘.但当循环展开不合法或者并行度低于向量化因子时,Loop-aware方法无法实现程序向量并行性的发掘.因此提出了向量并行度指导的循环向量化方法,依据迭代间并行度、迭代内并行度和向量化因子构建循环向量化方法选择方案,同时提出了不充分向量化方法发掘并行度低于向量化因子的循环向量并行性,最后,依据向量并行度对生成的向量循环进行展开.经过标准测试集测试,向量并行度指导的循环SIMD向量化方法比Loop-aware方法的识别率提升了107.5%,性能提升了12.1%.

关键词： SIMD扩展部件向量并行度 Loop-aware 循环展开

来源：评论

学校读者我要写书评

暂无评论

基于SAT的安全协议惰性形式化分析方法

引用

通信学报 2014年第11期35卷 117-125页

作者：顾纯祥王焕孝郑永辉辛丹刘楠解放军信息工程大学网络空间安全学院河南郑州450001 数学工程与先进计算国家重点实验室江苏无锡214125

提出了一种基于布尔可满足性问题的安全协议形式化分析方法 SAT-LMC,通过引入惰性分析的思想优化初始状态与转换规则,提高了安全性的检测效率。另一方面,通过在消息类型上定义偏序关系,SAT-LMC能够检测出更丰富的类型缺陷攻击。基于此... 详细信息

提出了一种基于布尔可满足性问题的安全协议形式化分析方法 SAT-LMC,通过引入惰性分析的思想优化初始状态与转换规则,提高了安全性的检测效率。另一方面,通过在消息类型上定义偏序关系,SAT-LMC能够检测出更丰富的类型缺陷攻击。基于此方法实现了一个安全协议分析工具,针对Otway-Rees协议检测出了一种类型缺陷攻击;针对OAuth2.0协议,检测结果显示对现实中存在的一些应用场景,存在一种利用授权码截取的中间人攻击。

关键词：安全协议形式化分析布尔可满足性惰性分析类型缺陷攻击

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：