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

计算机科学 2020年第1期47卷 321-328页

作者：陈晓杰周清雷李斌郑州大学信息工程学院郑州450001 解放军信息工程大学数学工程与先进计算国家重点实验室郑州450001

随着7-Zip压缩软件的广范使用,破解7-Zip加密文档的口令对信息安全有着非常重要的意义。目前,破解7-Zip加密文档主要采用CPU和GPU平台,而潜在的口令空间大,计算复杂度高,在有限的时间内找到正确的口令需要更高性能的计算平台。因此,文... 详细信息

随着7-Zip压缩软件的广范使用,破解7-Zip加密文档的口令对信息安全有着非常重要的意义。目前,破解7-Zip加密文档主要采用CPU和GPU平台,而潜在的口令空间大,计算复杂度高,在有限的时间内找到正确的口令需要更高性能的计算平台。因此,文中通过分析解密算法的PMC特性,采用可重构的FPGA硬件计算平台,使用流水线技术来实现数据拼接和SHA-256算法,并利用预计算和CSA方法优化SHA-256算法的关键路径,同时使用双端口RAM存储校验数据,从而满足算法的计算需求和存储需求,实现高效能的7-Zip解密算法。实验数据表明,文中提出的优化方法能大幅提升SHA-256算法的性能,使其吞吐量达到110.080 Gbps,并且通过多种方法对解密算法进行优化,最终破解10位长度口令的速率达到了10608个/s,是CPU的226倍,GPU的1.4倍,且能效比是GPU的8倍,极大地提升了算法的性能,降低了高功耗需求。

关键词： 7-Zip解密高能效口令恢复流水线可重构 SHA-256 双端口RAM

来源：评论

学校读者我要写书评

暂无评论

一种面向向量化的动态指针别名分析框架

引用

计算机科学 2015年第3期42卷 26-30页

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

指针别名分析是数据流分析中的关键性技术,其分析结果是编译优化和程序变换的基础。在向量化方法和动态指针别名分析相关研究的基础上,设计了一种面向向量化的动态指针别名分析框架。该框架通过动态插桩和试运行提取指针别名信息,并反... 详细信息

指针别名分析是数据流分析中的关键性技术,其分析结果是编译优化和程序变换的基础。在向量化方法和动态指针别名分析相关研究的基础上,设计了一种面向向量化的动态指针别名分析框架。该框架通过动态插桩和试运行提取指针别名信息,并反馈到向量化阶段指导向量化代码生成。从提取候选别名分析集、插桩及试运行和反馈优化3个方面对整体框架进行分析和研究。该框架基于Open64实现,并以通用测试集GCC-VECT和典型应用进行了实验评估,结果表明,该框架相比静态指针别名分析具有更精确的别名分析结果,该结果能够有效改进向量化程序的加速比。

关键词：指针别名分析向量化动态分析依赖分析

来源：评论

学校读者我要写书评

暂无评论

基于多类型数据包的IPv6防火墙防护能力评测方法

引用

计算机应用研究 2019年第7期36卷 2154-2158页

作者：辜苛峻张连成郭毅孔亚洲王振兴信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

为测试IPv6防火墙对潜在IPv6网络威胁的防护能力,研究了IPv6防火墙防护能力评测方法。通过对IPv6协议的研究,构造了针对ICMPv6、单一扩展报头、多扩展报头、分片、地址范围的五类存在安全隐患的测试数据包,构建了C/S架构的防火墙测试框... 详细信息

为测试IPv6防火墙对潜在IPv6网络威胁的防护能力,研究了IPv6防火墙防护能力评测方法。通过对IPv6协议的研究,构造了针对ICMPv6、单一扩展报头、多扩展报头、分片、地址范围的五类存在安全隐患的测试数据包,构建了C/S架构的防火墙测试框架;基于框架和测试数据包构建了用于各类测试的独立测试模块,搭建了可用于测试有状态防火墙的测试环境,并提供了相应的测试方法。利用所提出的方法,对思科ASA5505防火墙进行了测试,发现了它的一些优点与不足。

关键词： IPv6 防火墙防护能力

来源：评论

学校读者我要写书评

暂无评论

基于ATT&CK的APT攻击语义规则构建

引用

信息安全学报 2021年第3期6卷 77-90页

作者：潘亚峰周天阳朱俊虎曾子懿信息工程大学数学工程与先进计算国家重点实验室郑州450001 国家数字交换系统工程技术研究中心郑州450001

从自然语言描述文本中提取网络攻击知识存在语义鸿沟,导致TTPs威胁情报自动化利用低。为提高威胁情报自动分析效率,设计并实现了基于ATT&CK的APT攻击语义规则。首先,构建带标签的有向图语义规则模型,对自然语言文本描述的攻击技术... 详细信息

从自然语言描述文本中提取网络攻击知识存在语义鸿沟,导致TTPs威胁情报自动化利用低。为提高威胁情报自动分析效率,设计并实现了基于ATT&CK的APT攻击语义规则。首先,构建带标签的有向图语义规则模型,对自然语言文本描述的攻击技术进行知识化描述;其次,定义语义规则,阐释网络实体属性及其逻辑运算关系的形式化描述方法;最后,利用关键词组识别、知识抽取等自然语言处理技术,从攻击技术文本中抽取形成123个APT攻击语义规则,涵盖ATT&CK的115项技术和12种战术。利用模拟场景采集的APT攻击日志数据,对语义规则进行验证,实验结果表明,语义规则检出率达到93.1%,并具备一定的攻击上下文信息还原能力,可有效支撑威胁检测分析。

关键词：语义规则 APT攻击 ATT&CK 威胁情报自然语言处理

来源：评论

学校读者我要写书评

暂无评论

基于SQLite内容雕刻的恢复技术

引用

计算机应用 2017年第2期37卷 392-396页

作者：马庆杰李炳龙位丽娜信息工程大学郑州450004 数学工程与先进计算国家重点实验室郑州450004

SQLite数据库被众多即时通信软件用于存储历史数据。在即时通信取证过程中,犯罪分子为阻碍司法部门的调查,往往隐藏、删除或覆盖重要的通信数据。目前的数据恢复方法效率较低,无法恢复被覆盖的数据。针对上述问题,提出了一种基于SQLite... 详细信息

SQLite数据库被众多即时通信软件用于存储历史数据。在即时通信取证过程中,犯罪分子为阻碍司法部门的调查,往往隐藏、删除或覆盖重要的通信数据。目前的数据恢复方法效率较低,无法恢复被覆盖的数据。针对上述问题,提出了一种基于SQLite的内容雕刻算法,分析SQLite数据库文件的存储特性和数据删除机制,以空闲域为单位形成空闲域链表,以页结构为单位进行细粒度的内容雕刻,并根据数据被覆盖的位置对零散数据块进行有效拼接。实验结果表明,SQLite内容雕刻算法可有效在本地和移动终端恢复即时通信的历史数据,当数据库未受损时,恢复率可达到100%;而当删除域受到不同程度的覆盖时,恢复率仍然可达到50%左右,并具有较高的效率。

关键词： SQLite 删除域即时通信取证调查内容雕刻恢复率

来源：评论

学校读者我要写书评

暂无评论

软件定义天地一体化网络接入认证架构与方法

引用

计算机应用研究 2019年第3期36卷 873-877页

作者：胡志言杜学绘曹利峰信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

天地一体化网络因结构复杂存在网络异构动态、间歇连通、节点高度暴露等特性。为了保证安全,需要研究专有的接入认证架构与方法。利用软件定义网络控制面与数据面分离的思想将其与天地一体化信息网络相结合提出一种新的接入认证架构,对... 详细信息

天地一体化网络因结构复杂存在网络异构动态、间歇连通、节点高度暴露等特性。为了保证安全,需要研究专有的接入认证架构与方法。利用软件定义网络控制面与数据面分离的思想将其与天地一体化信息网络相结合提出一种新的接入认证架构,对认证架构与过程进行详细描述,可以实现对网络的安全防护与资源的优化控制;根据架构特点,提出七个影响接入点决策的属性,给出各个属性的计算公式,将层次分析法与逼近理想解的排序方法相结合提出一种接入点决策算法。实验仿真结果表明,接入点决策准确,可以实现资源的合理利用。

关键词：天地一体化网络软件定义网络接入认证架构决策属性决策算法

来源：评论

学校读者我要写书评

暂无评论

面向云服务组合的策略冲突检测机制

引用

计算机应用研究 2017年第4期34卷 1145-1150页

作者：刘敖迪王娜刘磊信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001 信息保障技术重点实验室北京100000

针对云服务组合的策略冲突问题,研究了云服务中属性间关系及组件服务间组合关系的特点,提出了基本类型冲突、层次关系冲突、互斥关系冲突、组合关系约束冲突四种冲突类型;设计了能够直观表达策略中多种关系的策略生成图模型,该模型具有... 详细信息

针对云服务组合的策略冲突问题,研究了云服务中属性间关系及组件服务间组合关系的特点,提出了基本类型冲突、层次关系冲突、互斥关系冲突、组合关系约束冲突四种冲突类型;设计了能够直观表达策略中多种关系的策略生成图模型,该模型具有结构灵活、易于更新和动态扩展的优点;将冲突检测问题转换为图的连通性问题,提出了一种基于策略生成图模型的冲突检测机制,实现了对云环境下大规模策略集中冲突策略的高效检测。最后,开展仿真实验,验证、评估了检测机制的有效性和检测效率。

关键词：云服务服务组合访问控制基于属性的访问控制策略冲突检测

来源：评论

学校读者我要写书评

暂无评论

基于证据库的数字证据转换模型

引用

计算机应用研究 2015年第7期32卷 2140-2143页

作者：韩宗达李炳龙信息工程大学郑州450004 数学工程与先进计算国家重点实验室郑州450004

针对目前多种证据格式兼容性差、证据转换效率低、缺乏对证据文件转换过程进行科学判定及理论说明等不足,提出证据库转换模型。该模型对现有转换方法进行分析,利用证据文件是在RAW映像文件的基础上增加了元数据及专属格式信息的重要特征... 详细信息

针对目前多种证据格式兼容性差、证据转换效率低、缺乏对证据文件转换过程进行科学判定及理论说明等不足,提出证据库转换模型。该模型对现有转换方法进行分析,利用证据文件是在RAW映像文件的基础上增加了元数据及专属格式信息的重要特征,引入多层签名以确保原始信息及证据文件的准确性,不改变证据文件的相关特征,完成证据格式高效转换。同时针对现有新型证据格式(AFF)转换效率慢问题,改进现有转换算法,完成与RAW文件格式的快速转换。实验结果表明,该模型能够重建证据转换流程,能够优化算法结构,提高证据文件格式转换速度。

关键词：计算机取证证据转换模型先进取证格式转换算法

来源：评论

学校读者我要写书评

暂无评论

基于地址随机和段隔离的全局偏移表保护方法

引用

计算机应用 2016年第7期36卷 1852-1855,1869页

作者：林键郭玉东周少皇信息工程大学郑州450001 数学工程与先进计算国家重点实验室(信息工程大学) 郑州450001

在可执行和可链接格式(ELF)的可执行程序中,存在一个全局偏移表(GOT),用于存放引用库函数的绝对地址,但是在Linux系统中,GOT解引用和GOT覆写是两种比较常用的漏洞利用方法。通过分析GOT的特性,提出并实现了基于地址随机和段隔离的GOT保... 详细信息

在可执行和可链接格式(ELF)的可执行程序中,存在一个全局偏移表(GOT),用于存放引用库函数的绝对地址,但是在Linux系统中,GOT解引用和GOT覆写是两种比较常用的漏洞利用方法。通过分析GOT的特性,提出并实现了基于地址随机和段隔离的GOT保护方法。通过修改Linux的可执行程序加载器,将与GOT有数据指向关系的节均加载到随机内存地址;同时使用段隔离技术,对GOT的代码引用的指令使用一个新的段寄存器进行间接引用。实验结果证明,该方法不仅能够有效地防御针对GOT的漏洞利用方法,而且性能损耗极低,只有平均2.9 ms的额外开销。

关键词：全局偏移表保护地址随机段隔离全局偏移表解引用全局偏移表覆写

来源：评论

学校读者我要写书评

暂无评论

免重复地址检测移动IPv6快速切换方案

引用

计算机应用研究 2017年第5期34卷 1455-1458,1462页

作者：房家保王振兴张连成信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

针对MIPv6中移动节点切换时延长的问题进行了研究,提出一种免重复地址检测移动IPv6快速切换方案。通过将IPv6地址的64位接口标志符重新划分为1位移动标志位、32位家乡代理IPv4地址和31位随机数,以保证移动节点接口标志符在全网的唯一性... 详细信息

针对MIPv6中移动节点切换时延长的问题进行了研究,提出一种免重复地址检测移动IPv6快速切换方案。通过将IPv6地址的64位接口标志符重新划分为1位移动标志位、32位家乡代理IPv4地址和31位随机数,以保证移动节点接口标志符在全网的唯一性,使移动节点在不同链路切换过程中不再需要重复地址检测。通过仿真实验对该方案进行实验验证,结果表明该方案不需要进行任何重复地址检测即可完成移动节点无缝切换,且相对于标准MIPv6移动节点的切换时延缩短约25%。

关键词：移动IPv6(MIPv6) 切换时延重复地址检测

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：