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

清华大学学报（自然科学版） 2017年第9期57卷 903-908页

作者：欧阳永基魏强王嘉捷王清贤解放军信息工程大学数学工程与先进计算国家重点实验室郑州450002 中国信息安全测评中心北京100085

为克服模糊测试方法具有盲目性和覆盖率不高的缺点,缓解当前符号执行方法所面临的空间爆炸问题,该文提出一种基于脆弱点特征导向的软件安全测试方法。该方法结合模糊测试和符号执行方法的特点,针对缓冲区溢出,精确分析了具备该脆弱点特... 详细信息

为克服模糊测试方法具有盲目性和覆盖率不高的缺点,缓解当前符号执行方法所面临的空间爆炸问题,该文提出一种基于脆弱点特征导向的软件安全测试方法。该方法结合模糊测试和符号执行方法的特点,针对缓冲区溢出,精确分析了具备该脆弱点特征的代码,并以此为测试目标,力图提高测试针对性;通过域收敛路径遍历策略生成新测试数据进行测试。实验数据表明:该方法的缓冲区溢出可疑点识别率比现有的以经验为主的识别方法至少提高41%,与CUTE符号执行工具相比,较好地缓解了空间爆炸问题,并有效验证了OpenSSL等常用软件的脆弱点。

关键词：软件安全特征导向域收敛空间爆炸

来源：评论

学校读者我要写书评

暂无评论

一种基于程序功能标签切片的制导符号执行分析方法

引用

软件学报 2019年第11期30卷 3259-3280页

作者：甘水滔王林章谢向辉秦晓军周林陈左宁 (数学工程与先进计算国家重点实验室江苏无锡214083 (计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

提出了一种基于程序功能标签切片的制导符号执行分析方法OPT-SSE.该方法从程序功能文档提取功能标签,利用程序控制流分析,建立各功能标签和程序基本块的映射关系,并根据功能标签在程序执行中的顺序关系生成功能标签执行流.针对给定的代... 详细信息

提出了一种基于程序功能标签切片的制导符号执行分析方法OPT-SSE.该方法从程序功能文档提取功能标签,利用程序控制流分析,建立各功能标签和程序基本块的映射关系,并根据功能标签在程序执行中的顺序关系生成功能标签执行流.针对给定的代码目标点,提取与之相关的功能执行流切片,根据预定义好的功能标签流制导规则进行符号执行分析,在路径分析过程中,及时裁剪无关的功能分支路径以提升制导效率.通过对不同的功能标签流进行分离制导符号执行分析,可避免一直执行某复杂循环体的情形,从而提高对目标程序的整体分支覆盖率和指令覆盖率.实验结果表明,通过对binutils、gzip、coreutils等10个不同软件中的20个应用工具上的分析,OPT-SSE与KLEE提供的主流搜索策略相比,代码目标制导速度平均提升到4.238倍,代码目标制导成功率平均提升了31%,程序指令覆盖率平均提升了8.95%,程序分支覆盖率平均提升了8.28%.

关键词：制导符号执行分支覆盖率指令覆盖率搜索策略程序切片

来源：评论

学校读者我要写书评

暂无评论

基于图相似匹配的政务网络结构一致性验证方法

引用

计算机应用 2014年第7期34卷 1909-1914,1928页

作者：曾光陈性元杜学绘夏春涛信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

针对政务网络结构的一致性验证问题,提出一种基于图相似匹配的政务网络结构一致性验证方法。方法首先抽象出政务网络的图模型,利用网络结构的模块化特征和顶点的k-邻近关系进行可扩展的图相似匹配,获取两图之间的所有相似结构;然后引入... 详细信息

针对政务网络结构的一致性验证问题,提出一种基于图相似匹配的政务网络结构一致性验证方法。方法首先抽象出政务网络的图模型,利用网络结构的模块化特征和顶点的k-邻近关系进行可扩展的图相似匹配,获取两图之间的所有相似结构;然后引入节点重要性贡献和路径距离衰减因素,提出一种改进的图相似性度量函数,计算网络结构之间的一致性程度。实验结果表明,该方法能够准确、有效地评估政务网络结构的一致性程度,细粒度地反映网络结构之间的相似差异情况,包括网络拓扑与系统部署存在的各种违规情况。

关键词：电子政务网络结构网络比对相似度计算图相似匹配

来源：评论

学校读者我要写书评

暂无评论

利用容错学习问题构造基于身份的全同态加密体制

引用

通信学报 2014年第2期35卷 111-117页

作者：光焱祝跃飞费金龙顾纯祥郑永辉解放军信息工程大学四院河南郑州450002 解放军信息工程大学数学工程与先进计算国家重点实验室河南郑州450002

基于容错学习问题构造的一类全同态加密体制在云计算安全领域具有重要的潜在应用价值,但同时普遍存在着公钥尺寸较大的缺陷,严重影响其身份认证与密钥管理的效率。将基于身份加密的思想与基于容错学习问题的全同态加密相结合,提出一种... 详细信息

基于容错学习问题构造的一类全同态加密体制在云计算安全领域具有重要的潜在应用价值,但同时普遍存在着公钥尺寸较大的缺陷,严重影响其身份认证与密钥管理的效率。将基于身份加密的思想与基于容错学习问题的全同态加密相结合,提出一种基于身份的全同态加密体制,能够有效克服公钥尺寸对于全同态加密应用效率的影响。在随机喻示模型下,体制的安全性归约到容错学习问题难解性和陷门单向函数单向性,并包含严格的安全性证明。

关键词： LWE问题全同态加密基于身份加密随机喻示模型

来源：评论

学校读者我要写书评

暂无评论

基于会话关联的软件网络通信行为分析技术

引用

计算机应用 2013年第7期33卷 2046-2050,2066页

作者：杜坤凭康绯舒辉孙静信息工程大学数学工程与先进计算国家重点实验室郑州450001

针对软件网络通信过程,提出一种基于会话关联的逆向分析方法,该方法首先对软件产生的网络通信流量和软件执行的应用程序编程接口(API)序列分别进行会话还原,再对还原的会话进行会话关联,为软件网络行为分析中的基于网络流量的分析方法... 详细信息

针对软件网络通信过程,提出一种基于会话关联的逆向分析方法,该方法首先对软件产生的网络通信流量和软件执行的应用程序编程接口(API)序列分别进行会话还原,再对还原的会话进行会话关联,为软件网络行为分析中的基于网络流量的分析方法和基于执行轨迹的分析方法建立了直接映射。设计并实现了相关的会话关联系统,并在此系统上进行了函数调用链的提取,使针对软件网络通信过程的分析更快捷。

关键词：软件网络通信过程分析网络通信流量分析应用程序编程接口序列分析函数调用链

来源：评论

学校读者我要写书评

暂无评论

结构体向量化中的存储优化

引用

小型微型计算机系统 2016年第9期37卷 1889-1897页

作者：范超赵荣彩单征李朋远信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

目前主流的优化编译器无法通过已有的循环变换技术使得含有结构体计算类型引用的循环被优化处理,而结构体计算类型存在于大量的科学计算程序中,严重影响了程序性能的提升.本文从两方面考虑,提出了结构体向量化中的存储优化方法.首先针... 详细信息

目前主流的优化编译器无法通过已有的循环变换技术使得含有结构体计算类型引用的循环被优化处理,而结构体计算类型存在于大量的科学计算程序中,严重影响了程序性能的提升.本文从两方面考虑,提出了结构体向量化中的存储优化方法.首先针对结构体在内存中的存储存在"间隙"的问题,提出了结构体的存储预优化算法,压缩结构体的存储空间;其次为了发掘程序中更多的向量化机会,本文提出了程序单元(PU)内结构体数组的动态数据重组优化方法,对程序进行进一步的优化,在当前PU内通过改变结构体数组在内存中存储方式,使得包含结构体数组引用的循环能够被向量化.实验结果证明,文中提出的优化方法对SPEC CPU标准测试程序组中的部分应用程序具有明显的性能提升.

关键词：结构体数组数据重组存储优化向量化

来源：评论

学校读者我要写书评

暂无评论

MD5选择前缀碰撞算法的改进及复杂度分析

引用

计算机应用 2014年第9期34卷 2650-2655,2682页

作者：程宽韩文报信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

针对MD5选择前缀碰撞算法在实际应用时复杂度分布的失衡问题,提出了改进的MD5选择前缀碰撞算法。结合非相邻表示型(NAF),给出了生日搜索复杂度中概率值在特定条件下的推导方式,建立了平衡参数与生日搜索复杂度之间的关系;并基于上述理... 详细信息

针对MD5选择前缀碰撞算法在实际应用时复杂度分布的失衡问题,提出了改进的MD5选择前缀碰撞算法。结合非相邻表示型(NAF),给出了生日搜索复杂度中概率值在特定条件下的推导方式,建立了平衡参数与生日搜索复杂度之间的关系;并基于上述理论结果,通过引入新的消息差分,改进了选择前缀碰撞所需的生日碰撞形式,得到改进算法。在实际应用所需的参数条件下,改进算法相对MD5算法平均可降低1比特的复杂度。分析结果表明:相对于原MD5算法,改进算法缓和了复杂度分布的失衡现象,降低了算法复杂度,更适用于实际应用。

关键词： MD5 非相邻表示型选择前缀碰撞生日搜索消息差分

来源：评论

学校读者我要写书评

暂无评论

基于循环分块的流水粒度优化算法

引用

计算机应用 2013年第8期33卷 2171-2176页

作者：刘晓娴赵荣彩丁锐李雁冰信息工程大学郑州450002 数学工程与先进计算国家重点实验室郑州450002

当计算划分层迭代数目较大,或是循环体单次迭代工作量较大,但可用的并行线程数目较小时,传统的基于循环分块的流水粒度优化方法无法进行处理。为此,提出一种基于循环分块减小流水粒度的方法,并根据流水并行循环的代价模型实现最优流水... 详细信息

当计算划分层迭代数目较大,或是循环体单次迭代工作量较大,但可用的并行线程数目较小时,传统的基于循环分块的流水粒度优化方法无法进行处理。为此,提出一种基于循环分块减小流水粒度的方法,并根据流水并行循环的代价模型实现最优流水粒度的求解,设计实现了一个流水计算粒度的优化算法。对有限差分松弛法(FDR)的波前循环和时域有限差分法(FDTD)中典型循环的测试表明,与传统的流水粒度选择方法相比,所提算法能够得到更优的循环分块大小。

关键词：自动并行化流水并行流水粒度循环分块代价模型

来源：评论

学校读者我要写书评

暂无评论

对两类RSA变体的小解密指数攻击

引用

四川大学学报（自然科学版） 2014年第4期51卷 689-695页

作者：勾云曾光王广赛韩文报信息工程大学郑州450001 数学工程与先进计算国家重点实验室无锡214125

Sun,Yang和Laih利用素因子p,q间的不平衡性提出了三类RSA变体以抵抗Wiener给出的连分式攻击和Boneh-Durfee的小解密指数攻击.本文通过构造一个新的双变元模方程及系数格,利用格基约化求小根的方法得到解密指数的界与加密指数和较小素因... 详细信息

Sun,Yang和Laih利用素因子p,q间的不平衡性提出了三类RSA变体以抵抗Wiener给出的连分式攻击和Boneh-Durfee的小解密指数攻击.本文通过构造一个新的双变元模方程及系数格,利用格基约化求小根的方法得到解密指数的界与加密指数和较小素因子之间的渐进关系,有效攻击了其中的两类RSA变体.

关键词： RSA变体小解密指数攻击格基约化双变元模方程

来源：评论

学校读者我要写书评

暂无评论

类型转换语句的SLP发掘方法

引用

计算机科学 2014年第11期41卷 16-21页

作者：赵博赵荣彩李雁冰高伟信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

多媒体技术的迅速发展使得越来越多的处理器集成了SIMD扩展,当前的编译器大多数都已实现了自动向量化功能。为了发掘迭代内并行,一些编译器在自动向量化模块中引入了SLP向量化方法。多媒体数据的密集存储和规则运算使得在处理多媒体数... 详细信息

多媒体技术的迅速发展使得越来越多的处理器集成了SIMD扩展,当前的编译器大多数都已实现了自动向量化功能。为了发掘迭代内并行,一些编译器在自动向量化模块中引入了SLP向量化方法。多媒体数据的密集存储和规则运算使得在处理多媒体数据时需要进行频繁的数据类型转换,而目前的SLP向量化方法对数据类型转换的处理能力还不完善。为了在存在大量数据类型转换语句的程序中发掘更多的SLP向量化机会,提出了一种类型转换语句的SLP发掘方法,它能够在SLP向量化框架下利用数据重组实现具有相同向量化因子和不同向量化因子的数据类型之间的转换。实验结果表明,该方法能够有效地对类型转换语句进行SLP向量化发掘,提高了程序的向量化执行效率。

关键词：类型转换数据重组 SLP SIMD 向量因子

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：