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

计算机系统应用 2016年第9期25卷 17-26页

作者：郑冠仕张铮张为华复旦大学软件学院上海201203 复旦大学上海市数据科学重点实验室上海201203 复旦大学并行处理研究所上海201203 解放军信息工程大学数学工程与先进计算国家重点实验室郑州450001

随着移动设备越来越普及,针对移动系统的恶意软件也越来越多.为了保障用户的隐私和财产安全,国内外的专家学者针对现有的移动系统应用安全问题提出了许许多多的解决方案.介绍了当前主流的移动操作系统,并且对于近年来面向这些系统的应... 详细信息

随着移动设备越来越普及,针对移动系统的恶意软件也越来越多.为了保障用户的隐私和财产安全,国内外的专家学者针对现有的移动系统应用安全问题提出了许许多多的解决方案.介绍了当前主流的移动操作系统,并且对于近年来面向这些系统的应用安全分析技术进行了全面的分析和讨论.在此基础上,对于未来移动系统应用安全分析技术的发展方向进行了展望和总结.

关键词：移动系统安全应用分析

来源：评论

学校读者我要写书评

暂无评论

基于身份的跨信任域签密方案

引用

计算机科学 2015年第5期42卷 165-168页

作者：张雪冀会芳李光松韩文报信息工程大学数学工程与先进计算国家重点实验室郑州450002

实际网络环境尤其是未来异构网络融合环境中,各个信任域大多都是独立的自治域,使用不同的系统参数。为此提出了一种新的基于身份的跨信任域签密方案,该方案对PKG系统参数不作限制,各PKG可以使用完全不同的系统公开参数、不同的主密钥和... 详细信息

实际网络环境尤其是未来异构网络融合环境中,各个信任域大多都是独立的自治域,使用不同的系统参数。为此提出了一种新的基于身份的跨信任域签密方案,该方案对PKG系统参数不作限制,各PKG可以使用完全不同的系统公开参数、不同的主密钥和公钥。并且在该签密协议的基础上给出了会话密钥的生成方法。在随机预言模型中给出了安全性证明,在BDH问题是困难的的假设下该协议是安全的,其满足机密性、不可伪造性、不可否认性和公开验证性。在与其他跨信任域签密方案计算开销相当的情况下,该方案不仅实现了跨信任域签密,而且对各PKG参数不作限制。

关键词：基于身份签密跨信任域密钥协商

来源：评论

学校读者我要写书评

暂无评论

SIMD向量指令的非满载使用方法研究

引用

计算机科学 2015年第7期42卷 229-233页

作者：徐金龙赵荣彩赵博信息工程大学数学工程与先进计算国家重点实验室郑州450001

大规模SIMD体系结构提供了更强的向量并行硬件支持,但是,大量迭代次数不足的循环由于不能提供足够的并行性,难以用等价的向量方式实现。为了更有效地利用SIMD,提出了一种非满载地使用SIMD指令的向量化方法。研究了向量寄存器的使用方式... 详细信息

大规模SIMD体系结构提供了更强的向量并行硬件支持,但是,大量迭代次数不足的循环由于不能提供足够的并行性,难以用等价的向量方式实现。为了更有效地利用SIMD,提出了一种非满载地使用SIMD指令的向量化方法。研究了向量寄存器的使用方式,基于非满载的向量寄存器使用方式实现了非满载的向量操作和短循环的向量化,并将非满载的向量化方法用于一般循环的向量化。提供了收益分析方法来为本向量化方法作精确指导。实验结果表明了该方法的有效性,所选测试用例的目标循环被向量化,平均加速比达到1.2。

关键词：大规模SIMD 并行向量化非满载向量操作收益分析

来源：评论

学校读者我要写书评

暂无评论

SIMD代码中的向量访存优化研究

引用

计算机科学 2015年第12期42卷 18-22页

作者：徐金龙赵荣彩徐晓燕信息工程大学数学工程与先进计算国家重点实验室郑州450001

向量程序来源于手工编写或由编译器自动生成。受限于编程人员和并行编译器的能力,得到的向量程序都存在一定的优化空间。优化编译器通常关注如何将串行程序向量化,但很少对向量程序进行优化。因此,提出了一种针对SIMD代码的向量访存优... 详细信息

向量程序来源于手工编写或由编译器自动生成。受限于编程人员和并行编译器的能力,得到的向量程序都存在一定的优化空间。优化编译器通常关注如何将串行程序向量化,但很少对向量程序进行优化。因此,提出了一种针对SIMD代码的向量访存优化方法。该方法首先分析程序是否需要优化,若存在需求,则对程序同时进行深度冗余优化和对齐优化。实验数据显示,提出的方法可以明显提高程序的运行效率,达到了目标。

关键词：向量化 SIMD 访存冗余对齐优化

来源：评论

学校读者我要写书评

暂无评论

跨平台x86系统虚拟机存储子系统优化

引用

计算机工程与设计 2015年第4期36卷 1004-1008,1083页

作者：董卫宇蒋烈辉王立新唐永鹤焦建华信息工程大学数学工程与先进计算国家重点实验室河南郑州450000

为提升跨平台系统虚拟机的效率,提出若干内存虚拟化相关的优化方法。介绍基于SW-410处理器的跨平台x86系统虚拟机监控器ARCH-BRIDGE的设计方案,对ARCH-BRIDGE的存储子系统性能进行剖析,识别若干影响内存虚拟化性能的瓶颈因素,在此基础... 详细信息

为提升跨平台系统虚拟机的效率,提出若干内存虚拟化相关的优化方法。介绍基于SW-410处理器的跨平台x86系统虚拟机监控器ARCH-BRIDGE的设计方案,对ARCH-BRIDGE的存储子系统性能进行剖析,识别若干影响内存虚拟化性能的瓶颈因素,在此基础上提出段级存储仿真优化、页级存储仿真优化、连续内存访问优化等方法,去除不必要的线性地址计算、段界限检查、寄存器上下文切换、虚实地址转换等操作。测试结果表明,应用上述优化方法,ARCHBRIDGE的访存性能提升了2.4倍~3倍,操作系统引导速度提升了约30.4%。

关键词：跨平台系统虚拟机内存虚拟化动态二进制翻译软件透明移植

来源：评论

学校读者我要写书评

暂无评论

非完美探测效率对设备无关量子随机数扩展的影响

引用

密码学报 2015年第3期2卷 217-225页

作者：李超博费洋扬王洪高明马智信息工程大学郑州450002 数学工程与先进计算国家重点实验室郑州450002

设备无关(Device Independent,简记为DI)量子随机数扩展方案中,在不需要考虑系统内部工作状态前提下,基于纠缠粒子的非局域特性可以证明随机性的存在.但在实际条件下的可行性受到探测效率等因素的限制.本文在CHSH不等式中引入探测效率参... 详细信息

设备无关(Device Independent,简记为DI)量子随机数扩展方案中,在不需要考虑系统内部工作状态前提下,基于纠缠粒子的非局域特性可以证明随机性的存在.但在实际条件下的可行性受到探测效率等因素的限制.本文在CHSH不等式中引入探测效率参数,从两方面探究非完美探测效率对DI随机数扩展方案的影响,数值模拟出将未探测事件作为结果保留和随机赋值时非完美探测效率下小熵与CHSH违背值的定量关系.将未探测事件作为结果保留时,可得在相同CHSH值下较低的探测效率对应的实验中量子态和测量过程蕴含更多的随机性,而在相同的的实验环境下,探测效率的降低会使实验中输出序列小熵变小.将未探测事件随机赋值时,在相同的CHSH违背值下,伴随着探测效率的降低,小熵界逐渐变小.通过SDP优化算法可得此情形下进行DI随机数扩展的探测效率下界为91.1%.通过对非完美探测效率的量化分析,可得实际条件下更为准确的DI量子随机数扩展效率分析.

关键词：设备无关随机数扩展 CHSH不等式探测效率

来源：评论

学校读者我要写书评

暂无评论

一种多参量评估的云计算信任模型

引用

计算机科学 2015年第S1期42卷 315-320页

作者：王君刘文芬郜燕信息工程大学郑州450001 信息工程大学数学工程与先进计算国家重点实验室郑州450001

针对云计算环境下服务商的信任问题,提出了一种新的云计算信任模型。模型旨在帮助用户从大量云服务商中选择最安全的资源,信任评估考虑了云服务过程中资源的可用性、可靠性、数据完整性、诚信度和周转效率5个参量,5个参量利用主观评价... 详细信息

针对云计算环境下服务商的信任问题,提出了一种新的云计算信任模型。模型旨在帮助用户从大量云服务商中选择最安全的资源,信任评估考虑了云服务过程中资源的可用性、可靠性、数据完整性、诚信度和周转效率5个参量,5个参量利用主观评价和客观数据对服务商进行全面评估。模型还运用了贝叶斯统计、时间衰减函数等方法对海量数据进行动态分析,使得统计结果可以及时地反映服务质量。由于不同用户对每个参量的倚重程度不同,因此结合层次分析法中权重向量的构造方法对各信任分量的权值进行分配,以满足个体用户的特殊需求。仿真实验进一步验证了该模型能够抵御较复杂的策略攻击并且具有一定的实用性。

关键词：云计算信任评估服务商选择

来源：评论

学校读者我要写书评

暂无评论

软件逆向分析过程中的多维图谱抽取方法

引用

计算机应用与软件 2016年第4期33卷 1-5页

作者：井靖蒋烈辉刘铁铭司彬彬曾韵朱晓清信息工程大学计算机科学与技术学院河南郑州450000 数学工程与先进计算国家重点实验室河南郑州450000

由于软件逆向分析过程中产生的结果通常是形式化的符号,且复杂难懂,因此基于软件逆向分析进行代码阅读或漏洞挖掘等工作的效率非常低下。针对这种情况,首先设计多维图谱抽取框架,基于该框架定义多维图谱描述约束(schema),使多维图谱抽... 详细信息

由于软件逆向分析过程中产生的结果通常是形式化的符号,且复杂难懂,因此基于软件逆向分析进行代码阅读或漏洞挖掘等工作的效率非常低下。针对这种情况,首先设计多维图谱抽取框架,基于该框架定义多维图谱描述约束(schema),使多维图谱抽取与具体的逆向分析过程之间相互独立;给出逆向分析算法库的构造方式及算法库调用接口,实现基于多维图谱描述的抽象图谱生成;设计基于图形描述语言DOT的抽象图谱转换接口,实现抽象图谱的快速可视化;最后给出多维图谱抽取算法。实验结果表明,采用该方法能有效提高逆向分析过程中生成结果的可读性,大幅提升分析人员代码阅读及漏洞挖掘的工作效率。

关键词：多维图谱抽取抽象图 DOT接口可视化

来源：评论

学校读者我要写书评

暂无评论

非入侵式网络安全扫描技术研究

引用

信息安全与通信保密 2016年第9期14卷 67-72,76页

作者：王宸东郭渊博黄伟解放军信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001 信息工程大学密码工程学院昆明机要训练大队云南昆明650223

网络安全扫描技术受到了攻防双方的高度重视。对攻击者而言,可用于对目标网络的侦察探测,获取其环境及存在的漏洞等;对防御者而言,可用于对受保护网络渗透测试的基础性工作。根据是否与目标网络发生交互,网络安全扫描可划分为入侵式和... 详细信息

网络安全扫描技术受到了攻防双方的高度重视。对攻击者而言,可用于对目标网络的侦察探测,获取其环境及存在的漏洞等;对防御者而言,可用于对受保护网络渗透测试的基础性工作。根据是否与目标网络发生交互,网络安全扫描可划分为入侵式和非入侵式。其中,非入侵式可有效隐蔽扫描行为,减小对目标网络运行的影响,并避免触发防火墙、入侵检测系统的报警。回顾了传统入侵式网络安全扫描技术的发展,针对当前借助搜索引擎实现非入侵扫描的方法,分析总结了基于通用搜索引擎和专用搜索引擎两类非入侵式扫描技术的原理与方法,并结合相关实验结果对各自的优缺点进行了总结。最后,讨论了非入侵式扫描技术的发展趋势和进一步的研究方向。

关键词：非入侵式网络安全扫描搜索引擎 Shodan

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：