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

计算机科学 2022年第12期49卷 353-361页

作者：吕小少舒辉康绯黄宇垚信息工程大学数学工程与先进计算国家重点实验室郑州450001

针对软件在线升级的劫持攻击是网络攻击最常用的手段之一。程序分析是快速自动化评估软件升级安全的重要方法,软件中升级功能函数快速逆向定位是实现静态分析和提高动态分析效率的关键前提。传统的程序分析逆向定位,依靠人工经验,根据... 详细信息

针对软件在线升级的劫持攻击是网络攻击最常用的手段之一。程序分析是快速自动化评估软件升级安全的重要方法,软件中升级功能函数快速逆向定位是实现静态分析和提高动态分析效率的关键前提。传统的程序分析逆向定位,依靠人工经验,根据字符串、API函数等语义信息的交叉引用链关系来实现,效率较低,且无法实现自动化。为解决该问题,提出了一种基于语义分析与逆向分析相结合的软件升级功能定位方法。首先针对软件二进制程序中常见的语义信息(如字符串、函数名、API函数等),建立一个基于自然语言处理的升级语义分类模型;然后借助逆向分析工具提取软件的语义信息,并通过升级语义分类模型来识别升级语义信息;最后定义了一种函数关系调用图形树上的升级函数关键节点求解算法,对升级函数进行求解。文中设计并实现了一个软件在线升级功能定位原型系统,并对常用的153款软件实施了升级功能逆向定位分析,其中126款软件定位成功。通过定位分析初步评估部分软件升级的安全性,获得CNNVD编号漏洞1个,CNVD编号漏洞5个。

关键词：软件在线升级语义信息文本分类模型二进制程序逆向分析函数定位

来源：评论

学校读者我要写书评

暂无评论

SIMON不可能差分及零相关路径自动化搜索算法

引用

软件学报 2018年第11期29卷 3544-3553页

作者：张仕伟陈少真解放军信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室(解放军信息工程大学) 河南郑州450001

对于分组密码,不可能差分和零相关线性分析都是很重要的分析手段.通过研究非线性组件与(AND)的性质,首先得到用于刻画SIMON轮函数差分及线性传播特性的约束式,再基于布尔可满足约束问题(SAT),提出一种普适性不可能差分和零相关路径自动... 详细信息

对于分组密码,不可能差分和零相关线性分析都是很重要的分析手段.通过研究非线性组件与(AND)的性质,首先得到用于刻画SIMON轮函数差分及线性传播特性的约束式,再基于布尔可满足约束问题(SAT),提出一种普适性不可能差分和零相关路径自动化搜索算法,并利用该算法搜索得到SIMON更多的不可能差分及零相关路径.除用于自动化搜索外,该算法还可判断特定的差分对(掩码对)是否能构成一条有效不可能差分和零相关路径.此外,基于该算法,从抵抗不可能差分攻击的角度出发,给出SIMON轮函数设计中循环移位常数的选取依据.

关键词：分组密码不可能差分分析零相关线性分析自动搜索算法 SIMON

来源：评论

学校读者我要写书评

暂无评论

针对缺陷根源定位的测试用例生成技术

引用

计算机科学 2023年第7期50卷 10-17页

作者：杜昊王允超燕宸毓李星玮信息工程大学数学工程与先进计算国家重点实验室郑州450001

缺陷根源定位是软件调试的重要阶段,基于频谱的缺陷根源定位方法是软件自动化调试研究中的热点问题,但其定位效果很大程度上取决于测试用例的质量。不同类型软件的测试输入通用性差,随机生成的测试输入则存在过拟合或混杂项过多的问题,... 详细信息

缺陷根源定位是软件调试的重要阶段,基于频谱的缺陷根源定位方法是软件自动化调试研究中的热点问题,但其定位效果很大程度上取决于测试用例的质量。不同类型软件的测试输入通用性差,随机生成的测试输入则存在过拟合或混杂项过多的问题,导致分析结果误差较大,致使目前该类技术的应用场景有限。针对测试用例生成问题,提出了基于崩溃路径的分阶段探索方法Dgenerate,并实现原型工具Dloc。首先利用二进制插桩手段在程序执行输入阶段于基本块中插桩路径信息,根据此信息将原始测试输入划分为普通型和引导型;然后利用动态能量调度算法探索崩溃相关路径生成高质量的测试用例;最后在原始程序中执行测试用例并追踪执行时信息,通过统计分析的方法有效地定位到程序缺陷根源的位置。文中选取了6个不同类型软件中的15个真实CVE漏洞进行实验,结果显示Dloc生成的测试用例与已有技术相比可以将定位效率平均提升75%,并且Dloc能够以87%的准确性在评分前五的位置中输出缺陷根源相关代码片段,验证了所提方法系统的可行性和实用性。

关键词：根源定位测试用例程序频谱统计分析定向模糊测试

来源：评论

学校读者我要写书评

暂无评论

Fox密码的多维零相关线性分析

引用

密码学报 2015年第1期2卷 27-39页

作者：伊文坛陈少真解放军信息工程大学数学与先进计算国家重点实验室郑州450001

Fox密码算法是由欧洲学者Junod和Vaudenay是基于Mediacrypt公司的实际需求而设计的系列分组密码.由于在各种平台上的性能表现良好,该算法在许多安全产品中取代了IDEA算法,成为欧洲应用最普遍的密码算法之一.本文首先关注了Fox密码的零... 详细信息

Fox密码算法是由欧洲学者Junod和Vaudenay是基于Mediacrypt公司的实际需求而设计的系列分组密码.由于在各种平台上的性能表现良好,该算法在许多安全产品中取代了IDEA算法,成为欧洲应用最普遍的密码算法之一.本文首先关注了Fox密码的零相关线性逼近问题,构造出一些关于Fox密码的4轮零相关线性逼近;然后利用合适的线性逼近,结合部分和技术,分析了减缩轮Fox密码针对多维零相关分析技术的安全性,并且成功地恢复部分轮子密钥信息.结果显示:攻击对5轮Fox-64的计算复杂度大约是260.9次5轮Fox加密,对6轮Fox-64分析大约需要2119.4次6轮Fox加密.额外添加1轮并穷举轮子密钥,结果显示零相关分析方法对7轮Fox密码轮子密钥恢复依然有效.本文是第一个关于Fox密码零相关线性分析的结果.

关键词：分组密码 Fox密码算法零线性相关分析线性逼近

来源：评论

学校读者我要写书评

暂无评论

数据结构翻转课堂教学实践

引用

计算机工程与科学 2016年第A01期38卷 195-199页

作者：李颖颖韩林信息工程大学数学工程与先进计算国家重点实验室河南郑州450000

近来,"MOOC""翻转课堂"等名词已成为教育界热议的话题,从认识阶段逐步走向了实践阶段。在中国,已经有一些高校进行了相关的实践。那么,什么是"翻转课堂"?如何认识这一新生事物对本科计算机教育的影响?又... 详细信息

近来,"MOOC""翻转课堂"等名词已成为教育界热议的话题,从认识阶段逐步走向了实践阶段。在中国,已经有一些高校进行了相关的实践。那么,什么是"翻转课堂"?如何认识这一新生事物对本科计算机教育的影响?又如何付诸计算机专业基础核心课程数据结构的具体教学实践中来?结合以上问题展开了研究。

关键词：数据结构翻转课堂教学方法教学目标

来源：评论

学校读者我要写书评

暂无评论

一种计算旋转对称布尔函数的汉明重量和非线性度的新方法

引用

电子与信息学报 2015年第11期37卷 2691-2696页

作者：张习勇祁应红高光普李玉娟信息工程大学郑州450002 数学工程与先进计算国家重点实验室无锡214215 信息保障技术重点实验室北京100072 洛阳外国语学校洛阳471003

旋转对称布尔函数是一类重要的密码学函数,研究其重量和非线性度等密码学性质具有很好的理论价值。区别于已有的计算方法,该文利用特定的正规基把这些布尔函数的问题转化为有限域上的指数和问题,得到了4?n和2sn=时一些二次旋转对称布尔... 详细信息

旋转对称布尔函数是一类重要的密码学函数,研究其重量和非线性度等密码学性质具有很好的理论价值。区别于已有的计算方法,该文利用特定的正规基把这些布尔函数的问题转化为有限域上的指数和问题,得到了4?n和2sn=时一些二次旋转对称布尔函数的重量和非线性度的新结果。使用所提的方法,可以计算几乎全部的二次旋转对称布尔函数的重量和非线性度。所提的新方法对于研究一般的旋转对称布尔函数具有一定的参考意义。

关键词：密码学旋转对称布尔函数非线性度汉明重量正规基

来源：评论

学校读者我要写书评

暂无评论

P2P网络顽健性增强的方法

引用

网络与信息安全学报 2019年第2期5卷 88-94页

作者：赵昊林伟刘胜利信息工程大学数学工程与先进计算国家重点实验室河南郑州450000

随着互联网的广泛应用,网络通信管理架构和服务提供的稳定性愈发重要。构建一种基于邻居-邻居列表的P2P网络模型,针对性地提出网络修复和修剪两种算法以提高网络结构的可靠性和顽健性。仿真实验表明,在给定的威胁条件下,提出的模型和算... 详细信息

随着互联网的广泛应用,网络通信管理架构和服务提供的稳定性愈发重要。构建一种基于邻居-邻居列表的P2P网络模型,针对性地提出网络修复和修剪两种算法以提高网络结构的可靠性和顽健性。仿真实验表明,在给定的威胁条件下,提出的模型和算法可以有效提高P2P网络的自修复性。

关键词： P2P网络邻居-邻居列表顽健性

来源：评论

学校读者我要写书评

暂无评论

SMS4算法的多维零相关线性分析

引用

密码学报 2015年第5期2卷 458-466页

作者：马猛赵亚群刘庆聪刘凤梅信息工程大学数学与先进计算国家重点实验室郑州450000031 信息保障技术重点实验室北京100072

SMS4算法是中国无线标准中使用的分组加密算法,2012年被国家商用密码管理局确定为国家密码行业标准.作为中国官方公布的第一个商用密码算法,SMS4算法的安全性分析是当前密码学界的研究热点之一.SMS4算法是一种32轮的迭代非平衡Feistel... 详细信息

SMS4算法是中国无线标准中使用的分组加密算法,2012年被国家商用密码管理局确定为国家密码行业标准.作为中国官方公布的第一个商用密码算法,SMS4算法的安全性分析是当前密码学界的研究热点之一.SMS4算法是一种32轮的迭代非平衡Feistel结构的分组密码算法,其加解密过程中使用的算法完全相同,唯一的不同点就是该算法的解密密钥是由它的加密密钥进行逆序变换后得到的,因此,SMS4算法在32轮非线性迭代之后有一个反序变换.本文证明了SMS4算法存在11轮零相关线性逼近,选取了其中一类特殊的零相关线性逼近,缩小了密钥猜测空间,分析了14轮SMS4算法对多维零相关线性攻击技术的安全性.结果显示:该攻击的数据复杂度为2123.5个已知明密文,时间复杂度为2120.7次14轮SMS4加密,存储复杂度为273个SMS4分组.虽然14轮SMS4算法对多维零相关线性攻击是不免疫的,但是其数据复杂度较其它攻击方法还很高,且14轮距离目前最高攻击轮数还有较大差距,因此SMS4算法在抗多维零相关线性分析方面仍然有足够的安全边界.

关键词：分组密码 SMS4算法多维零相关线性分析零相关线性逼近

来源：评论

学校读者我要写书评

暂无评论

基于重复压缩的密文图像可逆数据隐藏方法

引用

通信学报 2015年第9期36卷 13-25页

作者：刘九芬韩涛田雨果刘文彬信息工程大学河南郑州450001 数学工程与先进计算国家重点实验室河南郑州450001 中国科学院信息工程研究所信息安全国家重点实验室北京100093

为了提高密文图像上的可逆数据隐藏方法的性能,在加密前处理图像以获得数据嵌入空间。首先,分析了在解压缩分块上进行可逆嵌入的可行性;其次,计算了成功恢复解压缩分块的理论概率;最后,提出了基于解压缩分块的密文图像可逆数据隐藏算法... 详细信息

为了提高密文图像上的可逆数据隐藏方法的性能,在加密前处理图像以获得数据嵌入空间。首先,分析了在解压缩分块上进行可逆嵌入的可行性;其次,计算了成功恢复解压缩分块的理论概率;最后,提出了基于解压缩分块的密文图像可逆数据隐藏算法,主要过程包括预处理、加密、数据嵌入、数据提取与图像恢复。从图像恢复错误率、嵌入容量和PSNR这3个方面与3种已有方法进行对比,表明所提方法实现了数据提取和图像解密在操作上的完全分离,且图像恢复错误率更低,嵌入容量更大,PSNR更高。

关键词：重复压缩可逆数据隐藏图像加密隐私保护差分扩展

来源：评论

学校读者我要写书评

暂无评论

基于虚拟机监控器的类蜜罐实时内存取证

引用

浙江大学学报（工学版） 2018年第2期52卷 387-397页

作者：赵宇韬李清宝张贵民程三军解放军信息工程大学数学工程与先进计算国家重点实验室河南郑州450001 信息保障技术重点实验室北京100072 河南省人民检察院河南郑州450000

为了解决传统的基于"镜像-分析"的内存取证技术面临的提取内存镜像时间过长及无法有效截获瞬时性内存攻击的问题,提出类蜜罐的实时内存取证方法(RTMF).利用虚拟机监控器针对性地提取内存片段,对提取的数据进行语义重构,以获... 详细信息

为了解决传统的基于"镜像-分析"的内存取证技术面临的提取内存镜像时间过长及无法有效截获瞬时性内存攻击的问题,提出类蜜罐的实时内存取证方法(RTMF).利用虚拟机监控器针对性地提取内存片段,对提取的数据进行语义重构,以获得操作系统级语义信息.利用扩展页表机制设置关键内存页面的访问权限,将这些内存页面作为蜜罐;针对蜜罐的违规访问会触发扩展页表故障而陷入虚拟机监控器,实时拦截攻击.结果表明,在发现内存攻击后,RTMF既可记录攻击者对内存的修改历史,又可对攻击者追踪溯源.经微基准测试,该方法引入的性能开销在可接受的范围内.

关键词：实时取证蜜罐内存行为攻击载体页面访问权限

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：