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

软件学报 2014年第10期25卷 2397-2408页

作者：魏江宏刘文芬胡学先数学工程与先进计算国家重点实验室(解放军信息工程大学) 河南郑州450001

在Waters的属性基加密方案的基础上,提出了一个在标准模型下可证安全的两方属性基认证密钥交换协议.在修改的BJM模型中,给出了所提协议在判定性双线性Diffie-Hellman假设下的安全性证明.此外,针对无会话密钥托管的应用需求,在基本协议... 详细信息

在Waters的属性基加密方案的基础上,提出了一个在标准模型下可证安全的两方属性基认证密钥交换协议.在修改的BJM模型中,给出了所提协议在判定性双线性Diffie-Hellman假设下的安全性证明.此外,针对无会话密钥托管的应用需求,在基本协议的基础上,构造了能够有效防止会话密钥托管的属性基认证密钥交换协议.在计算效率方面,所提协议与现有的仅在随机预言模型下可证安全的属性基认证密钥交换协议相当.

关键词：属性基加密认证密钥交换属性认证标准模型

来源：评论

学校读者我要写书评

暂无评论

基于异常分布导向的智能Fuzzing方法

引用

电子与信息学报 2015年第1期37卷 143-149页

作者：欧阳永基魏强王清贤尹中旭解放军信息工程大学郑州450002 数学工程与先进计算国家重点实验室郑州450002

现有主流智能Fuzzing测试一般通过对程序内部结构的精确分析构造新测试样本,因而严重依赖于当前计算机的性能,往往忽略了已发现的程序异常信息对新测试样本构造的指导意义。为了克服上述缺陷,该文提出一种基于异常分布导向的智能Fuzzin... 详细信息

现有主流智能Fuzzing测试一般通过对程序内部结构的精确分析构造新测试样本,因而严重依赖于当前计算机的性能,往往忽略了已发现的程序异常信息对新测试样本构造的指导意义。为了克服上述缺陷,该文提出一种基于异常分布导向的智能Fuzzing方法。该方法针对二进制程序测试,建立了TGM(Testcase Generation Model)样本构造模型:首先根据计算能力收集测试样本集的相关信息;然后随机选择初始测试样本进行测试;最后,基于测试结果初始化模型参数,根据模型优先选择更有效的输入属性构造新样本并进行新一轮测试,通过重复进行该步骤,在迭代测试中不断更新模型参数,用于指导下一轮新测试样本构造。实验数据表明该方法可以辅助Fuzzing选择更有效的样本优先进行测试,设计的原型工具Comb Fuzz在异常检测能力和代码覆盖能力上都有良好表现,同时,在对大型应用程序进行测试时,与微软SDL实验室的Mini Fuzz测试器相比,在限定时间内平均异常发现率提高近18倍,并在WPS 2013等软件中发现了7个Mini Fuzz无法发现的未公开"可利用"脆弱点。

关键词：软件测试智能Fuzzing 异常分布脆弱点

来源：评论

学校读者我要写书评

暂无评论

11轮3D密码的不可能差分攻击

引用

电子与信息学报 2014年第5期36卷 1215-1220页

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

3D密码是CANS 2008提出的新的分组密码算法,其设计思想是基于美国高级加密标准AES,但3D密码算法采用的是3维结构。该文根据3D算法的结构特点,构造出一类新的6轮不可能差分区分器,将3D密码的不可能差分攻击扩展到11轮。将10轮不可能差分... 详细信息

3D密码是CANS 2008提出的新的分组密码算法,其设计思想是基于美国高级加密标准AES,但3D密码算法采用的是3维结构。该文根据3D算法的结构特点,构造出一类新的6轮不可能差分区分器,将3D密码的不可能差分攻击扩展到11轮。将10轮不可能差分攻击时间复杂度降为318.82。该文中大量应用预计算技术,大大降低了时间复杂度,对于分组密码的实际攻击中的数据处理,提高运算效率过程,有很好的借鉴意义。

关键词：分组密码不可能差分攻击 3D密码预计算技术

来源：评论

学校读者我要写书评

暂无评论

基于代码进化的恶意代码沙箱规避检测技术研究

引用

电子与信息学报 2019年第2期41卷 341-347页

作者：梁光辉庞建民单征解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

为了对抗恶意代码的沙箱规避行为,提高恶意代码的分析效率,该文提出基于代码进化的恶意代码沙箱规避检测技术。提取恶意代码的静态语义信息和动态运行时信息,利用沙箱规避行为在代码进化过程中所产生的动静态语义上的差异,设计了基于相... 详细信息

为了对抗恶意代码的沙箱规避行为,提高恶意代码的分析效率,该文提出基于代码进化的恶意代码沙箱规避检测技术。提取恶意代码的静态语义信息和动态运行时信息,利用沙箱规避行为在代码进化过程中所产生的动静态语义上的差异,设计了基于相似度差异的判定算法。在7个实际恶意家族中共检测出240个具有沙箱规避行为的恶意样本,相比于JOE分析系统,准确率提高了12.5%,同时将误报率降低到1%,其验证了该文方法的正确性和有效性。

关键词：恶意代码沙箱规避静态相似度

来源：评论

学校读者我要写书评

暂无评论

一种基于状态迁移图的工业控制系统异常检测方法

引用

自动化学报 2018年第9期44卷 1662-1671页

作者：吕雪峰谢耀滨数学工程与先进计算国家重点实验室郑州450001 解放军信息工程大学郑州450001

基于状态的工业控制系统入侵检测方法以其高准确率受到研究者的青睐,但是这种方法往往依赖专家经验事先定义系统的临界状态,且处理不了系统状态变量较多的情况.针对这一问题,提出一种新的基于状态迁移图的异常检测方法.该方法利用相邻... 详细信息

基于状态的工业控制系统入侵检测方法以其高准确率受到研究者的青睐,但是这种方法往往依赖专家经验事先定义系统的临界状态,且处理不了系统状态变量较多的情况.针对这一问题,提出一种新的基于状态迁移图的异常检测方法.该方法利用相邻数据向量间的余弦相似度和欧氏距离建立系统正常状态迁移模型,不需要事先定义系统的临界状态,并通过以下两个条件来判定系统是否处于异常:1)新的数据向量对应的状态是否位于状态迁移图内;2)前一状态到当前状态是否可达.文章建立了恶意数据攻击模型,并以田纳西–伊斯曼(Tennessee-eastman,TE)过程MATLAB模型作为仿真平台进行了仿真测试.仿真结果表明,该方法即使在系统遭受轻微攻击的情况下也有较好的检测结果,且消耗较少的时空资源.

关键词：工业控制系统状态迁移图异常检测田纳西–伊斯曼过程

来源：评论

学校读者我要写书评

暂无评论

对7轮ARIA-192的不可能差分分析

引用

电子与信息学报 2013年第10期35卷 2301-2306页

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

ARIA密码是2003年由韩国学者提出的新的分组密码算法,该密码与AES的设计原理相类似,并在2004年被选为韩国的分组密码标准。该文根据ARIA密码的结构特征,提出ARIA密码的一种新的7轮不可能差分攻击路径,首次实现了对ARIA-192的不可能差分... 详细信息

ARIA密码是2003年由韩国学者提出的新的分组密码算法,该密码与AES的设计原理相类似,并在2004年被选为韩国的分组密码标准。该文根据ARIA密码的结构特征,提出ARIA密码的一种新的7轮不可能差分攻击路径,首次实现了对ARIA-192的不可能差分攻击,攻击的时间复杂度为176.22。同时,利用扩散层的相关性质降低攻击ARIA-256的时间复杂度为192.22。

关键词：分组密码不可能差分攻击预计算 ARIA密码

来源：评论

学校读者我要写书评

暂无评论

基于快速地标采样的大规模谱聚类算法

引用

电子与信息学报 2017年第2期39卷 278-284页

作者：叶茂刘文芬解放军信息工程大学郑州450002 数学工程与先进计算国家重点实验室郑州450002

为避免传统谱聚类算法高复杂度的应用局限,基于地标表示的谱聚类算法利用地标点与数据集各点间的相似度矩阵,有效降低了谱嵌入的计算复杂度。在大数据集情况下,现有的随机抽取地标点的方法会影响聚类结果的稳定性,k均值中心点方法面临... 详细信息

为避免传统谱聚类算法高复杂度的应用局限,基于地标表示的谱聚类算法利用地标点与数据集各点间的相似度矩阵,有效降低了谱嵌入的计算复杂度。在大数据集情况下,现有的随机抽取地标点的方法会影响聚类结果的稳定性,k均值中心点方法面临收敛时间未知、反复读取数据的问题。该文将近似奇异值分解应用于基于地标点的谱聚类,设计了一种快速地标点采样算法。该算法利用由近似奇异向量矩阵行向量的长度计算的抽样概率来进行抽样,同随机抽样策略相比,保证了聚类结果的稳定性和精度,同k均值中心点策略相比降低了算法复杂度。同时从理论上分析了抽样结果对原始数据的信息保持性,并对算法的性能进行了实验验证。

关键词：地标点采样大数据谱聚类近似奇异值分解

来源：评论

学校读者我要写书评

暂无评论

对全轮3D分组密码算法的Biclique攻击

引用

计算机学报 2014年第5期37卷 1063-1070页

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

3D算法是CANS 2008会议上提出的一种代替-置换网络型分组密码算法.该文通过构造3D算法的Biclique结构,提出了对全轮3D算法的Biclique攻击.该攻击可以扩展为对r轮3D算法的一般化Biclique攻击(r10).结果表明,Biclique攻击数据复杂度为23... 详细信息

3D算法是CANS 2008会议上提出的一种代替-置换网络型分组密码算法.该文通过构造3D算法的Biclique结构,提出了对全轮3D算法的Biclique攻击.该攻击可以扩展为对r轮3D算法的一般化Biclique攻击(r10).结果表明,Biclique攻击数据复杂度为232个选择密文,在时间复杂度上优于穷举.

关键词：分组密码 Biclique攻击 3D算法密码学网络安全信息安全

来源：评论

学校读者我要写书评

暂无评论

基于随机向量镜像策略改进ART算法

引用

计算机辅助设计与图形学学报 2017年第9期29卷 1750-1758页

作者：侯韶凡于磊李志博张兴隆解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

针对现有的镜像自适应随机测试(MART)、动态镜像自适应随机测试(DMART)等算法通过镜像函数生成的测试用例的随机性不足,使其有效性在不同程度上有明显下降的问题,提出基于随机向量镜像策略改进ART算法.首先将随机向量引入传统镜像函数,... 详细信息

针对现有的镜像自适应随机测试(MART)、动态镜像自适应随机测试(DMART)等算法通过镜像函数生成的测试用例的随机性不足,使其有效性在不同程度上有明显下降的问题,提出基于随机向量镜像策略改进ART算法.首先将随机向量引入传统镜像函数,增大镜像测试用例间的差异性;然后将随机向量镜像函数运用到镜像策略中,改进现有的ART算法.实验结果表明,利用随机向量镜像策略可明显地提高镜像算法的有效性,并且该算法比传统ART算法的效率有显著提升.

关键词：软件测试随机测试自适应随机测试镜像映射对等划分随机向量

来源：评论

学校读者我要写书评

暂无评论

一个浮点数学函数库测试平台

引用

软件学报 2015年第6期26卷 1306-1321页

作者：许瑾晨黄永忠郭绍忠周蓓赵捷数学工程与先进计算国家重点实验室(解放军信息工程大学) 河南郑州450002

数学函数库作为CPU软件的重要组成部分,对于高性能计算机平台上的科学计算、工程数值计算起着极为关键的作用.现有的测试工具只能片面地对函数库进行测试,没有从正确性、精度和函数性能这3方面加以考虑,而且往往只针对一类目标体系结构... 详细信息

数学函数库作为CPU软件的重要组成部分,对于高性能计算机平台上的科学计算、工程数值计算起着极为关键的作用.现有的测试工具只能片面地对函数库进行测试,没有从正确性、精度和函数性能这3方面加以考虑,而且往往只针对一类目标体系结构,适用性有限.针对现有测试工具的缺陷,提出了面向多目标体系结构、全面可复用的一体化测试平台BMltest(basic math library test).测试平台结合函数特征值、IEEE-754特殊数以及利用浮点数生成规则实现的全浮点域指数分布的IEEE-754规范数构造了测试集,有效提高了测试集浮点数的覆盖率;提出了基于多精度库MPFR(multiple-precision floating-point reliable library)的精度测试方法,提高了精度测试的可靠性;提出了基于代码隔离的性能测试方法,最大限度地降低了外部环境对性能测试的干扰.针对大量的浮点测试结果,给出了合理的结果评价方案.测试平台使用的测试集数据与函数做到了相关性的极大分离,保证了测试方法的普适性.通过对包括GNU,Open64及Mlib函数库内所有855个函数的测试结果表明:BMltest平台的测试数据集更全面、有效,精度测试方法更可靠;与其他测试平台相比,性能测试结果更准确、稳定.

关键词：数学函数库测试平台 IEEE-754 精度测试性能测试

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：