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

西安电子科技大学学报 2020年第4期47卷 117-123页

作者：黄昱铭马建峰刘志全冯丙文魏凯敏暨南大学信息科学技术学院广东广州510632 西安电子科技大学网络与信息安全学院陕西西安710071 中国科学院信息工程研究所信息安全国家重点实验室北京100093 广东省信息安全技术重点实验室广东广州520006 广东省智能信息处理重点实验室/深圳市媒体信息内容安全重点实验室广东深圳518060

为解决基于测试集自动程序修复方法修复缺陷正确率低的问题,提出一种基于规则的自动程序修复方法——RuleFix。该方法首先通过挖掘代码中的隐式编程规则定位缺陷位置,然后根据隐式编程规则选取合适的补丁,最后采用程序合成工具对补丁进... 详细信息

为解决基于测试集自动程序修复方法修复缺陷正确率低的问题,提出一种基于规则的自动程序修复方法——RuleFix。该方法首先通过挖掘代码中的隐式编程规则定位缺陷位置,然后根据隐式编程规则选取合适的补丁,最后采用程序合成工具对补丁进行校验以保证修复结果的正确性。此外,为解决现有规则挖掘算法无法有效挖掘低频规则的问题,提出一种低频规则挖掘算法,根据已有规则推演生成新的规则,以提升规则挖掘的能力。基于所提方法实现了原型工具,并与现有的自动程序修复方法进行对比。实验结果表明,与现有的GenProg和PAR方法相比,所提方法有明显更高的修复率和正确率。

关键词：自动程序修复基于规则静态分析测试集

来源：评论

学校读者我要写书评

暂无评论

2-Lee重量Z_(p)Z_(p)[u]-加性码

引用

系统科学与数学 2021年第9期41卷 2678-2686页

作者：吴波施敏加李淑宇杨绍波左其尚中国科学院信息工程研究所信息安全国家重点实验室北京100093 中国科学院大学网络空间安全学院北京101408 安徽大学数学科学学院合肥230601 安徽大学文典学院合肥230601

文章将有限域上关于H amming重量的前3个Pless恒等式推广到Z_(p)Z_(p)[u]-加性码,其中p是奇素数.并利用这些恒等式得到2-Lee重量Z_(p)Z_(p)[u]-仿射加性码的存在条件.最后给出若干2-Lee重量Z_(p)Z_(p)[u]-加性码的构造.

关键词： 2-Lee重量码加性码对偶码 Pless恒等式

来源：评论

学校读者我要写书评

暂无评论

面向云存储的带关键词搜索的公钥加密方案

引用

计算机研究与发展 2020年第7期57卷 1404-1414页

作者：郭丽峰李智豪胡磊山西大学计算机与信息技术学院太原030006 山西大学大数据科学与产业研究院太原030006 信息安全国家重点实验室(中国科学院信息工程研究所) 北京100093

广泛应用于云存储环境的带关键词搜索的公钥加密体制(public key encryption with keyword search,PEKS)不仅能保证所存储数据的隐私,而且具有搜索功能.针对抵制内部离线关键词猜测攻击问题,目前的解决方案是通过引入发送者的私钥,使得... 详细信息

广泛应用于云存储环境的带关键词搜索的公钥加密体制(public key encryption with keyword search,PEKS)不仅能保证所存储数据的隐私,而且具有搜索功能.针对抵制内部离线关键词猜测攻击问题,目前的解决方案是通过引入发送者的私钥,使得密文实现认证功能,从而抵制内部的离线关键词猜测攻击,但是此方法使得接收者必须事先指定发送者,这不符合实际要求.为此,提出一个高效的带关键词搜索的公钥加密方案而且在标准模型下可证明安全.该方案有3个优势:1)通过引入发送者和服务器的身份,实现了抵制内部和外部离线关键词猜测攻击,而且不需要接收者指定发送者;2)通过引入服务器的公私钥对,陷门可以在公开信道传输;3)因为任何人都可验证关键词密文的正确性,该方案能够抵制选择关键词密文攻击.

关键词：可搜索加密关键词搜索在线和离线的关键词猜测攻击双线性对陷门

来源：评论

学校读者我要写书评

暂无评论

区块链共识机制中随机性研究

引用

信息安全学报 2021年第3期6卷 91-105页

作者：雷元娜徐海霞李佩丽张淑慧中国科学院信息工程研究所信息安全国家重点实验室北京100093 中国科学院大学网络空间安全学院北京100049 齐鲁工业大学(山东省科学院)山东省计算中心(国家超级计算济南中心)山东省计算机网络重点实验室济南250000

随着区块链技术的发展,共识机制越来越受到关注。在大量共识机制中占据重要地位的随机数获取协议,也成为共识机制的一个核心子协议。本文主要围绕现有的几个基于随机性协议的主流共识机制,介绍了随机性的相关概念以及共识机制中随机性... 详细信息

随着区块链技术的发展,共识机制越来越受到关注。在大量共识机制中占据重要地位的随机数获取协议,也成为共识机制的一个核心子协议。本文主要围绕现有的几个基于随机性协议的主流共识机制,介绍了随机性的相关概念以及共识机制中随机性所用到的密码学原语。首先介绍几类简单的协议并分别指出它们的不足,然后重点介绍了主流共识机制中的随机数都是如何产生以及如何应用的。研究随机数获取协议,对于区块链技术及其共识机制的学习与发展具有重要意义。

关键词：随机性区块链技术共识机制

来源：评论

学校读者我要写书评

暂无评论

基于全同态加密的神经网络激活函数计算

引用

信息网络安全 2021年第S01期 152-157页

作者：眭涛徐妍徐科鑫张野银联商务股份有限公司上海201203 中国科学院信息工程研究所信息安全国家重点实验室北京100093 中国科学院大学网络空间安全学院北京100049

神经网络(Neural Network,NN)作为完成机器学习任务的一种常见方法,通常被训练用来解决数据的分类问题。激活函数是神经网络的重要组件,具有非线性的特点。文章基于全同态加密算法,研究密文上的神经网络激活函数计算,实现ReLU函数、Sigm... 详细信息

神经网络(Neural Network,NN)作为完成机器学习任务的一种常见方法,通常被训练用来解决数据的分类问题。激活函数是神经网络的重要组件,具有非线性的特点。文章基于全同态加密算法,研究密文上的神经网络激活函数计算,实现ReLU函数、Sigmoid函数与Sign函数等主流神经网络激活函数在密文上的计算。通过实验表明,文章所提方法可有效保障机器学习中数据的安全与隐私。

关键词：神经网络全同态加密激活函数机器学习

来源：评论

学校读者我要写书评

暂无评论

CSNN:基于汉语拼音与神经网络的口令集安全评估方法

引用

电子与信息学报 2020年第8期42卷 1862-1871页

作者：咸鹤群张艺汪定李增鹏贺云龙青岛大学计算机科学技术学院青岛266071 中国科学院信息工程研究所信息安全国家重点实验室北京100093 南开大学网络空间安全学院天津300350

口令猜测攻击是一种最直接的获取信息系统访问权限的攻击,采用恰当方法生成的口令字典能够准确地评估信息系统口令集的安全性。该文提出一种针对中文口令集的口令字典生成方法(CSNN)。该方法将每个完整的汉语拼音视为一个整体元素,后利... 详细信息

口令猜测攻击是一种最直接的获取信息系统访问权限的攻击,采用恰当方法生成的口令字典能够准确地评估信息系统口令集的安全性。该文提出一种针对中文口令集的口令字典生成方法(CSNN)。该方法将每个完整的汉语拼音视为一个整体元素,后利用汉语拼音的规则对口令进行结构划分与处理。将处理后的口令放入长短期记忆网络(LSTM)中训练,用训练后的模型生成口令字典。该文通过命中率实验评估CSNN方法的效能,将CSNN与其它两种经典口令生成方法(即,概率上下文无关文法PCFG和5阶马尔可夫链模型)对生成口令的命中率进行实验对比。实验选取了不同规模的字典,结果显示,CSNN方法生成的口令字典的综合表现优于另外两种方案。与概率上下文无关文法相比,在猜测数为107时,CSNN字典在不同测试集上的命中率提高了5.1%~7.4%(平均为6.3%);相对于5阶马尔可夫链模型,在猜测数为8×105时,CSNN字典在不同测试集上的命中率提高了2.8%~12%(平均为8.2%)。

关键词：口令集安全评估口令字典生成神经网络身份认证

来源：评论

学校读者我要写书评

暂无评论

若干广义非平衡Feistel结构的量子分析研究

引用

密码学报 2021年第6期8卷 960-973页

作者：于博孙兵刘国强罗宜元张志宇国防科技大学文理学院长沙410073 密码科学技术国家重点实验室北京100878 商用密码理论与技术创新湖南省工程研究中心长沙410073 惠州学院计算机科学与工程学院惠州516007 中国科学院信息工程研究所信息安全国家重点实验室北京100093 中国科学院大学网络空间安全学院北京100049

分组密码结构对密码算法的安全性有着非常重要的作用.随着量子计算的发展,以Simon算法、Grover算法等为代表的量子搜索算法,广泛应用于分组密码安全性研究领域,并产生了一定的威胁.本文首次研究了对5种广义非平衡Feistel结构的量子攻击,... 详细信息

分组密码结构对密码算法的安全性有着非常重要的作用.随着量子计算的发展,以Simon算法、Grover算法等为代表的量子搜索算法,广泛应用于分组密码安全性研究领域,并产生了一定的威胁.本文首次研究了对5种广义非平衡Feistel结构的量子攻击,对n-cell结构构造了n+1轮量子区分器;对New Structure Ⅰ/Ⅲ/Ⅳ结构分别构造了6轮/9轮/5轮量子区分器;对FBC-like结构构造了3轮量子区分器,并利用Simon算法对这5种分组密码结构进行了量子区分攻击.进一步,将Simon算法和Grover算法相结合对n-cell结构、New Structure Ⅰ/Ⅲ/Ⅳ结构和FBC-like结构进行了量子密钥恢复攻击,并分析了攻击的时间复杂度.攻击r>n+1轮n-cell结构的时间复杂度为O(2^((r-n-1)k/2));攻击r>6/14/9轮New Structure Ⅰ/Ⅲ/Ⅳ结构的时间复杂度分别为O(2^((r-6)k/2))/O(2^([2k+(r-14)k]/2))/O(2^([2k+(r-9)k]/2));攻击r>5轮FBC-like结构的时间复杂度为O(2^([3k+(r-5)·2k]/2)).结果表明这些攻击的效果均优于使用Grover算法进行穷举攻击.

关键词： Simon算法 Grover算法 n-cell结构 New Structure系列结构 FBC-like结构

来源：评论

学校读者我要写书评

暂无评论

跨平台内存安全测试集设计

跨平台内存安全测试集设计

引用

第2届RISC-V技术及生态研讨会

作者：沈思豪解达宋威中国科学院信息工程研究所信息安全国家重点实验室北京 100093 中国科学院大学网络空间安全学院北京 101408

内存安全性是一项非常重要的性质，但它很容易被攻击者利用。过去针对内存安全问题提出的许多防御方案，由于性能代价高昂，很少能够部署在生产环境中。最近，随着RISC-Ⅴ等开源处理器架构的兴起，安全领域迎来了设计新的处理器硬件安... 详细信息

内存安全性是一项非常重要的性质，但它很容易被攻击者利用。过去针对内存安全问题提出的许多防御方案，由于性能代价高昂，很少能够部署在生产环境中。最近，随着RISC-Ⅴ等开源处理器架构的兴起，安全领域迎来了设计新的处理器硬件安全拓展的热潮，硬件辅助防御方案的性能代价降低，变得可以接受。为了更好地支持内存安全处理器拓展的设计，以及更好地评估处理器内存安全性能，我们设计了一款兼具综合性、可移植性内存安全测试框架，并开源了一个160测例大小的初始版本测试集，覆盖了内存时空安全性、访问控制、指针和控制流完整性等方面，并在x86-64和RISC-Ⅴ64两种指令集架构的平台上进行了测试。

关键词： RISC-Ⅴ 内存安全测试集

来源：评论

学校读者我要写书评

暂无评论

在幺模矩阵加密方法下的安全外包算法

引用

计算机科学与探索 2020年第1期14卷 73-82页

作者：张胜霞田呈亮青岛大学计算机科学技术学院山东青岛266071 中国科学院信息工程研究所信息安全国家重点实验室北京100093

关于大规模矩阵相乘(MMC)、矩阵求逆(MIC)和矩阵行列式(MDC)的算法在安全外包计算中得到广泛研究与运用,其存在的问题也日益凸显,隐藏原始矩阵中零元素的数目问题就是其中之一。然而,目前学术界关于保护零元素数目的研究较少,现有的研... 详细信息

关于大规模矩阵相乘(MMC)、矩阵求逆(MIC)和矩阵行列式(MDC)的算法在安全外包计算中得到广泛研究与运用,其存在的问题也日益凸显,隐藏原始矩阵中零元素的数目问题就是其中之一。然而,目前学术界关于保护零元素数目的研究较少,现有的研究也仅能保护零元素的位置,没有针对保护零元素的数目同时又能达到高效性的加密方法,这在大规模云计算环境中是很不安全的。针对这个问题,从算法的角度出发,改进了原有的置换矩阵的加密方法,并设计了一种新的安全外包MMC、MIC和MDC的算法。该算法将代数结构扩展到有限域中,首先对初始矩阵进行随机置换,然后进行幺模矩阵变换,并将加密后的矩阵发送给云服务端;云经过计算之后把结果返回给客户端,随后客户端进行解密和验证。通过理论证明,设计的三个协议不仅保护了原始矩阵零元素的数目,而且实现了正确性、隐私性和可验证性的目标。最后,通过实验证明了基于幺模矩阵的加密方法是高效的。

关键词：云计算外包计算矩阵行列式矩阵相乘矩阵的逆

来源：评论

学校读者我要写书评

暂无评论

AnC和Xlate攻击防御研究

引用

高技术通讯 2020年第5期30卷 461-470页

作者：李小馨侯锐孟丹中国科学院信息工程研究所信息安全国家重点实验室北京100093 中国科学院大学网络空间安全学院北京100049

分析了AnC和Xlate类由内存管理单元(MMU)和中央处理单元(CPU)核共享高速缓存(cache)导致的侧信道攻击,指出防御的关键在于隔离cache中的页表项和普通数据。在操作系统层面,首先基于页面属性表(PAT)不缓存(uncache)全部页表项,进一步结... 详细信息

分析了AnC和Xlate类由内存管理单元(MMU)和中央处理单元(CPU)核共享高速缓存(cache)导致的侧信道攻击,指出防御的关键在于隔离cache中的页表项和普通数据。在操作系统层面,首先基于页面属性表(PAT)不缓存(uncache)全部页表项,进一步结合透明大页,将平均性能损失由82.35%降至26.95%。在芯片层面,首先在uncache全部页表项的基础上,改进了页表缓存(PTC)以缓存各级页表项,在PTC增大到256项时,平均性能损失为1.59%;然后在cache中按路分区缓存页表项和普通数据(页表项占一路),平均性能损失为6.61%;进一步探索了和各级页表项局部性相适应的混合隔离机制(高级页表项缓存在PTC中,最低级页表项缓存在分区cache中),在PTC大小为64项时,平均性能提升0.81%。

关键词：高速缓存内存管理单元(MMU) 侧信道攻击地址随机化加密算法页面属性表(PAT) 分区

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：