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

软件学报 2016年第6期27卷 1487-1497页

作者：康元基顾纯祥郑永辉光焱信息工程大学河南郑州450002 数学工程与先进计算国家重点实验室江苏无锡214125

全同态加密可以在不解密的条件下对密文进行有效运算,为云计算的数据隐私保护提供了一种理想的解决方案,但目前已有的全同态加密体制普遍存在公钥尺寸大、计算效率较低等问题.利用构造特征向量的思想,基于任意次数分圆环代数结构,提出... 详细信息

全同态加密可以在不解密的条件下对密文进行有效运算,为云计算的数据隐私保护提供了一种理想的解决方案,但目前已有的全同态加密体制普遍存在公钥尺寸大、计算效率较低等问题.利用构造特征向量的思想,基于任意次数分圆环代数结构,提出全同态加密体制,并提出一种转换方法将该体制转换为基于身份的全同态加密体制.与已有体制相比,使用特征向量思想构造基于身份的体制有效地避免了计算密钥,实现了真正意义上基于身份的体制;相比次数为2的方幂特殊分圆环,使用任意次数分圆环最大会使加密体制的计算效率提升一倍,同时还可应用单指令多数据(single instruction multiple data,简称SIMD)技术进一步提升计算和存储效率.

关键词：全同态加密特征向量基于身份加密任意分圆环

来源：评论

学校读者我要写书评

暂无评论

两个认证密钥协商协议的前向安全性分析

引用

电子与信息学报 2022年第12期44卷 4294-4303页

作者：程庆丰马玉千战略支援部队信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

目前,网络安全及隐私受到广泛关注。前向安全性是Günther在1989年提出的一种认证密钥协商协议(AKA)的安全属性(doi:10.1007/3-540-46885-4_5),该性质经过30年的蓬勃发展已经成为研究领域的热点之一。该文主要分析了MZK20和VSR20两... 详细信息

目前,网络安全及隐私受到广泛关注。前向安全性是Günther在1989年提出的一种认证密钥协商协议(AKA)的安全属性(doi:10.1007/3-540-46885-4_5),该性质经过30年的蓬勃发展已经成为研究领域的热点之一。该文主要分析了MZK20和VSR20两个AKA协议。首先在启发式分析的基础上,利用BAN逻辑分析了MZK20协议不具有弱前向安全性;其次利用启发式分析和Scyther工具证明了VSR20协议不具备前向安全性。最后,在分析VSR20协议设计缺陷的基础上,提出了改进方案,并在eCK模型下证明了改进后协议的安全性;并且,结合Scyther软件证明了改进VSR20协议与VSR20协议相比明显提高了安全性。

关键词：安全协议形式化工具分析认证密钥协商协议前向安全性

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

面向中文搜索的网络加密流量侧信道分析方法

引用

电子与信息学报 2022年第5期44卷 1763-1772页

作者：李玎林伟芦斌祝跃飞战略支援部队信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

搜索引擎中的增量式搜索服务通过发送实时请求为用户更新建议列表。针对搜索加密流量存在的信息泄露,该文提出一种面向中文搜索的侧信道分析方法,利用搜索请求数据包长度增量和时间间隔的可区分性,构建了3阶段的分析模型以实现对用户输... 详细信息

搜索引擎中的增量式搜索服务通过发送实时请求为用户更新建议列表。针对搜索加密流量存在的信息泄露,该文提出一种面向中文搜索的侧信道分析方法,利用搜索请求数据包长度增量和时间间隔的可区分性,构建了3阶段的分析模型以实现对用户输入查询的识别。实验结果表明,该方法在4个常用中文搜索引擎中的识别性能均达到理论量化值,对包含1.4×10^(5)查询监控集的综合识别准确率达到76%。最后通过评估4种针对性的缓解机制,证明了通过阻断信息泄露来源可有效防御侧信道分析。

关键词：加密流量侧信道分析搜索引擎信息增益

来源：评论

学校读者我要写书评

暂无评论

对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均值中心点策略相比降低了算法复杂度。同时从理论上分析了抽样结果对原始数据的信息保持性,并对算法的性能进行了实验验证。

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

对全轮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算法密码学网络安全信息安全

来源：评论

学校读者我要写书评

暂无评论

完全安全且固定密文长度的分层内积加密方案

引用

计算机研究与发展 2015年第3期52卷 691-701页

作者：张洁葛爱军马传贵解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

分层内积加密方案为内积加密体制提供了私钥分发功能,可有效降低系统根节点的任务量.针对现有分层内积加密方案密文长度过长的问题,首先提出一个完全安全且固定密文长度的内积加密方案,并以该方案为基础,构造了一个新的分层内积加密方案... 详细信息

分层内积加密方案为内积加密体制提供了私钥分发功能,可有效降低系统根节点的任务量.针对现有分层内积加密方案密文长度过长的问题,首先提出一个完全安全且固定密文长度的内积加密方案,并以该方案为基础,构造了一个新的分层内积加密方案,利用对偶系统加密的新技术,在标准模型下证明了该分层内积加密方案是完全安全的.新方案密文长度达到了固定值,并且解密时只需要7个双线性对运算.与现有方案比,新方案计算效率高,且易于实现,占用通信带宽低,具有一定的优势.

关键词：分层内积加密对偶系统加密固定密文长度完全安全标准模型

来源：评论

学校读者我要写书评

暂无评论

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

引用

软件学报 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 精度测试性能测试

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：