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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

标准模型下CCA2安全且固定密文长度的模糊基于身份加密方案

引用

电子学报 2013年第10期41卷 1948-1952页

作者：葛爱军马传贵程庆丰解放军信息工程大学数学工程与先进计算国家重点实验室河南郑州450002 解放军外国语学院基础部河南洛阳471003

模糊基于身份加密体制为基于身份密码提供了检错能力,并且可以把消息加密后同时发送给多个具有相同属性的用户.本文提出了一种在标准模型下能抵抗适应性选择密文攻击,并且密文长度达到了固定值的模糊基于身份加密方案.与现有方案相比,... 详细信息

模糊基于身份加密体制为基于身份密码提供了检错能力,并且可以把消息加密后同时发送给多个具有相同属性的用户.本文提出了一种在标准模型下能抵抗适应性选择密文攻击,并且密文长度达到了固定值的模糊基于身份加密方案.与现有方案相比,本方案占用通信带宽低,计算效率高,具有更高的安全性,因此能更好的满足应用要求.

关键词：模糊基于身份加密适应性选择密文攻击双线性对标准模型

来源：评论

学校读者我要写书评

暂无评论

分支嵌套循环的自动并行化研究

引用

计算机科学 2017年第5期44卷 14-19,52页

作者：丁丽丽李雁冰张素平王鹏翔张庆花解放军信息工程大学数学工程与先进计算国家重点实验室郑州450002

GCC编译器是一种受广大研究者青睐的开源优化编译器,但它仅仅能够对完美嵌套循环进行依赖分析。为了更好地挖掘嵌套循环粗粒度的并行,深入研究了GCC5.1数据依赖分析过程,提出了一种能够处理分支嵌套循环的依赖测试方法。首先识别出分支... 详细信息

GCC编译器是一种受广大研究者青睐的开源优化编译器,但它仅仅能够对完美嵌套循环进行依赖分析。为了更好地挖掘嵌套循环粗粒度的并行,深入研究了GCC5.1数据依赖分析过程,提出了一种能够处理分支嵌套循环的依赖测试方法。首先识别出分支嵌套循环,然后分析数组下标与分支嵌套循环外层索引变量的关系,最后计算出外层循环索引变量的距离向量,并通过检测距离向量判断循环是否存在依赖。实验结果表明,该方法能够正确、有效地分析出分支嵌套循环的依赖关系。

关键词：数据依赖分析 GCC 完美嵌套循环分支嵌套循环距离向量

来源：评论

学校读者我要写书评

暂无评论

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

引用

小型微型计算机系统 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变体小解密指数攻击格基约化双变元模方程

来源：评论

学校读者我要写书评

暂无评论

一种基于代码并行化和虚拟机多样化的软件保护方法

引用

小型微型计算机系统 2015年第11期36卷 2588-2593页

作者：谢鑫刘粉林芦斌向飞信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

考虑到并行和多虚拟机保护的程序逆向分析难度大大高于串行和单虚拟保护的程序,针对嵌套虚拟机为实现高强度保护而引入的高开销问题,提出一种基于代码并行化和虚拟机多样化的软件保护方法,基于程序依赖图运用切片技术对代码进行并行划分... 详细信息

考虑到并行和多虚拟机保护的程序逆向分析难度大大高于串行和单虚拟保护的程序,针对嵌套虚拟机为实现高强度保护而引入的高开销问题,提出一种基于代码并行化和虚拟机多样化的软件保护方法,基于程序依赖图运用切片技术对代码进行并行划分,设计多种虚拟指令集及其对应的编译器和解释器,将划分后的代码编译成多样化字节码序列,并和虚拟指令解释器共同嵌入程序.实验分析表明:逆向攻击者需分析不同虚拟机机制和并行代码集才能获取受保护程序语义,在降低时间开销的同时极大增加了逆向分析的难度.

关键词：软件保护代码混淆代码并行化虚拟机多样化

来源：评论

学校读者我要写书评

暂无评论

基于攻击树与CVSS的工业控制系统风险量化评估

引用

计算机应用研究 2016年第12期33卷 3785-3790页

作者：王作广魏强刘雯雯解放军信息工程大学数学工程与先进计算国家重点实验室郑州450000

针对如何进行工业控制系统(ICS)全面客观的风险量化评估与分析,提出了一种新的ICS风险量化评估方法。该方法首先建立系统攻击树与攻击者模型;然后根据ICS的安全特性利用CVSS对攻击树叶子节点进行综合客观的量化,并给出资产价值损失的复... 详细信息

针对如何进行工业控制系统(ICS)全面客观的风险量化评估与分析,提出了一种新的ICS风险量化评估方法。该方法首先建立系统攻击树与攻击者模型;然后根据ICS的安全特性利用CVSS对攻击树叶子节点进行综合客观的量化,并给出资产价值损失的复数表达式,结合概率风险评估方法分别计算得到攻击序列、目标节点的风险概率与风险值;最后通过攻击者模型综合攻击序列与攻防两端的分析,提取系统最大风险环节与组件。案例分析表明,该方法能减少风险要素量化过程中人为主观因素的影响,得到风险的综合定量描述,并找到系统最大风险环节和最需要防护的组件,从而采取有针对性的防护措施以实现合理高效的风险消除和规避,验证了该方法的有效性与可行性。

关键词：工业控制系统攻击树通用漏洞评分系统风险评估攻击序列

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：