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

电子与信息学报 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密码预计算技术

来源：评论

学校读者我要写书评

暂无评论

标准模型下可证安全的属性基认证密钥交换协议

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

利用RLWE构造基于身份的全同态加密体制

引用

电子学报 2016年第12期44卷 2887-2893页

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

全同态加密为云计算中数据全生命周期隐私保护等难题的解决都提供了新的思路.公钥尺寸较大是现有全同态加密体制普遍存在的问题.本文将基于身份加密的思想和全同态加密体制相结合,利用环上容错学习问题(Ring Learning With Errors,RLWE)... 详细信息

全同态加密为云计算中数据全生命周期隐私保护等难题的解决都提供了新的思路.公钥尺寸较大是现有全同态加密体制普遍存在的问题.本文将基于身份加密的思想和全同态加密体制相结合,利用环上容错学习问题(Ring Learning With Errors,RLWE),其中将环的参数m扩展到任意正整数,提出了一种基于身份的全同态加密体制.体制以用户身份标识作为公钥,在计算效率和密钥管理方面都具有优势,安全性在随机喻示模型下可规约为判定性RLWE问题难解性假设.

关键词：全同态加密基于身份加密环上容错学习问题

来源：评论

学校读者我要写书评

暂无评论

利用特征向量构造基于身份的全同态加密体制

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于内存依赖关系度量的解密数据提取方法

引用

计算机研究与发展 2014年第7期51卷 1547-1554页

作者：魏强武泽慧王清贤解放军信息工程大学郑州450001 数学工程与先进计算国家重点实验室郑州450001

基于数据流的程序分析算法能够有效识别程序的数据处理流程,但是对于采用数据加密技术进行通信的网络程序,数据流分析由于无法准确识别、提取解密数据而失效.针对如何提取解密数据,提出一种基于内存依赖度的算法,从解密数据内存依赖度... 详细信息

基于数据流的程序分析算法能够有效识别程序的数据处理流程,但是对于采用数据加密技术进行通信的网络程序,数据流分析由于无法准确识别、提取解密数据而失效.针对如何提取解密数据,提出一种基于内存依赖度的算法,从解密数据内存依赖度的角度研究如何提取加密通信中的明文数据及实现该算法的原型工具EncMemCheck.通过实验对比分析该算法的优缺点,并在加密通信软件UnrealIrcd上进行实际测试,验证了算法的准确性和实用性.

关键词：程序分析数据流分析加密通信明文还原内存依赖关系度量

来源：评论

学校读者我要写书评

暂无评论

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

引用

自动化学报 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密码

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

电子与信息学报 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协议相比明显提高了安全性。

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：