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

密码学报 2019年第3期6卷 269-282页

作者：李耕刘建伟张宗洋北京航空航天大学网络空间安全学院北京100083 中国科学院信息工程研究所信息安全国家重点实验室北京100093

2013年爆发的'棱镜门'等一系列事件,显示出当前信息安全领域面临一系列新的安全威胁,这些安全威胁相较于传统密码学所考虑的范畴有较大变化,一些在传统密码学分析下认为是安全的密码体制在新情况下不再安全.部分研究人员将这类... 详细信息

2013年爆发的'棱镜门'等一系列事件,显示出当前信息安全领域面临一系列新的安全威胁,这些安全威胁相较于传统密码学所考虑的范畴有较大变化,一些在传统密码学分析下认为是安全的密码体制在新情况下不再安全.部分研究人员将这类新的现实环境称为大规模监视(mass-surveillance),由此产生了抗大规模监视密码学(属于后斯诺登密码学).在抗大规模监视密码学的定义中,由于攻击者的实际身份特殊、操作权力更大和手段更为灵活,能够控制和影响的环节更多;与此对应,对安全防护一方的限制则更强.抗大规模监视密码学在安全模型、防御方法等方面相较于传统密码学有显著区别,分析框架有较大发展,一些传统密码学所默认的假设不再成立.本文结合该领域当前主要成果,从产生背景、研究布局、安全模型、密码学原语、加密和签名体制、密码协议、防护机制等几个方面详细阐述了当前该领域的研究状况、主要结论及相关最新进展,并对该领域的发展方向做了一定的展望.

关键词：后斯诺登密码学大规模监视算法替换攻击

来源：评论

学校读者我要写书评

暂无评论

RECTANGLE-80的相关密钥差分分析

引用

信息安全学报 2019年第4期4卷 94-108页

作者：王沙沙张文涛向泽军中国科学院信息工程研究所信息安全国家重点实验室中国北京100093 中国科学院大学网络空间安全学院中国北京100049

轻量级分组密码RECTANGLE采用SPN结构,分组长度是64比特,密钥长度是80或128比特,迭代轮数是25轮。其采用比特切片技术,在软硬件实现方面均有很好的性能。本文以Matsui和Moriai等人的自动化搜索算法为基础,采用包珍珍等人提出的2种优化策... 详细信息

轻量级分组密码RECTANGLE采用SPN结构,分组长度是64比特,密钥长度是80或128比特,迭代轮数是25轮。其采用比特切片技术,在软硬件实现方面均有很好的性能。本文以Matsui和Moriai等人的自动化搜索算法为基础,采用包珍珍等人提出的2种优化策略,对RECTANGLE-80版本进行相关密钥差分分析。我们对最窄点处的密钥状态差分进行限制,使最窄点密钥状态差分的汉明重量取值范围分别属于区间[1,1],[1,2],[1,3],[1,4],[1,5]五种情况,目的是求得此五种情况下前9轮相关密钥差分最大概率及其对应的路径。我们获得了此5种情况前8轮的最大概率及其对应的路径,前2种情况9轮最大概率及其对应路径和后3种情况9轮最大概率的上界。以上5种情况的结果显示,当取值范围属于后三种情况时,前8轮的最大概率是相同的,由此说明随着取值范围的扩大,最大概率趋向稳定。当最窄点密钥状态差分的汉明重量取值范围属于[1,1]或[1,2]时,9轮的最大概率为2^-42。当取值范围分别是[1,3],[1,4]和[1,5]时,9轮最大概率的上界分别是2^-41,2^-37,2^-34。我们预测9轮最大概率的上界是2^-41,由此可以预测18轮的最大概率的上界是2^-82,从而RECTANGLE-80可以抵抗相关密钥差分分析。这是目前RECTANGLE抵抗相关密钥密码分析安全性评估最好结果。

关键词：轻量级分组密码 RECTANGLE 相关密钥差分分析自动化搜索差分特征

来源：评论

学校读者我要写书评

暂无评论

基于Attention-Bi-LSTM的微博评论情感分析研究

引用

计算机科学与应用 2020年第12期10卷 2380-2387页

作者：王彬蒋鸿玲吴槟北京信息科技大学信息管理学院北京中国科学院信息工程研究所信息安全国家重点实验室北京中国科学院大学网络空间安全学院北京

短文本情感分析,在舆情监控和商业上有很多重要应用。以微博评论文本为研究对象,通过对微博评论文本进行分词、去除停用词,并使用Word2vec进行词向量训练得到词向量,并在Bi-LSTM中引入Attention机制,对Bi-LSTM双向处理后的结果进行加权... 详细信息

短文本情感分析,在舆情监控和商业上有很多重要应用。以微博评论文本为研究对象,通过对微博评论文本进行分词、去除停用词,并使用Word2vec进行词向量训练得到词向量,并在Bi-LSTM中引入Attention机制,对Bi-LSTM双向处理后的结果进行加权进行输出。实验结果表明,Attention-Bi-LSTM与Bi-LSTM相比能有效识别出情感语句中重要的语义,提高预测的准确度。

关键词：情感分析 Word2vec Attention Bi-LSTM

来源：评论

学校读者我要写书评

暂无评论

基于符号执行与模糊测试的混合测试方法

引用

软件学报 2019年第10期30卷 3071-3089页

作者：谢肖飞李晓红陈翔孟国柱刘杨天津市先进网络重点实验室(天津大学) 天津300050 南通大学计算机科学与技术学院江苏南通226019 信息安全国家重点研究室(中国科学院信息工程研究所) 北京100093 School of Computer Science and Engineering Nanyang Technological University 639798 Singapore

软件测试是保障软件质量的常用方法,如何获得高覆盖率是测试中十分重要且具有挑战性的研究问题.模糊测试与符号执行作为两大主流测试技术已被广泛研究并应用到学术界与工业界中,这两种技术都具有一定的优缺点:模糊测试随机变异生成测试... 详细信息

软件测试是保障软件质量的常用方法,如何获得高覆盖率是测试中十分重要且具有挑战性的研究问题.模糊测试与符号执行作为两大主流测试技术已被广泛研究并应用到学术界与工业界中,这两种技术都具有一定的优缺点:模糊测试随机变异生成测试用例并动态执行程序,可以执行并覆盖到较深的分支,但其很难通过变异的方法生成覆盖到复杂条件分支的测试用例.而符号执行依赖约束求解器,可以生成覆盖复杂条件分支的测试用例,但在符号化执行过程中往往会出现状态爆炸问题,因此很难覆盖到较深的分支.有工作已经证明,将符号执行与模糊测试相结合可以获得比单独使用模糊测试或者符号执行更好的效果.分析符号执行与模糊测试的优缺点,提出了一种基于分支覆盖将两种方法结合的混合测试方法 Afleer,结合双方优点从而可以生成具有更高分支覆盖率的测试用例.具体来说,模糊测试(例如 AFL)为程序快速生成大量可以覆盖较深分支的测试用例,符号执行(例如 KLEE)基于模糊测试的覆盖信息进行搜索,仅为未覆盖到的分支生成测试用例.为了验证 Afleer 的有效性,选取标准程序集LAVA-M 以及实际项目 oSIP 作为评测对象,以漏洞检测能力以及覆盖能力作为评测指标.实验结果表明:(1)在漏洞检测能力上,Afleer 总共可以发现 755 个漏洞,而 AFL 仅发现 1 个;(2)在覆盖能力上,Afleer 在标准程序集上以及实际项目中都有不同程度的提升.其中,在 oSIP 中,Afleer 比 AFL 在分支覆盖率上提高 2.4 倍,在路径覆盖率上提升 6.1倍.除此之外,Afleer 在 oSIP 中还检测出一个新的漏洞.

关键词：软件质量保障模糊测试符号执行测试用例生成

来源：评论

学校读者我要写书评

暂无评论

事件库构建技术综述

引用

信息安全学报 2019年第2期4卷 83-106页

作者：薛聪高能查达仁王雷尹芷仪曾泽华中国科学院信息工程研究所信息安全国家重点实验室北京中国100093 中国科学院数据与通信保护研究教育中心北京中国100093 中国科学院大学网络空间安全学院北京中国100049

恐怖事件、突发事件、冲突事件等特定主题事件通常对国家安全带来严重威胁,记录现实事件的事件库在态势感知、风险预警、应急决策等应用中发挥重要作用,事件库构建技术随之发展为内容安全技术的重要组成部分。事件库构建技术是一类实现... 详细信息

恐怖事件、突发事件、冲突事件等特定主题事件通常对国家安全带来严重威胁,记录现实事件的事件库在态势感知、风险预警、应急决策等应用中发挥重要作用,事件库构建技术随之发展为内容安全技术的重要组成部分。事件库构建技术是一类实现从海量的非结构数据批量生成结构化事件数据的技术,由于数据环境、表示精度、应用场景的差异,出现了各类构建技术的相关研究。本文详细介绍了事件库的定义、分类和架构,按自底向上输出的数据层次,将事件库构建技术划分为事件检测、事件抽取、事件融合三类关键技术,并分别对其研究现状和进展进行了全面分析,总结了事件库的主要应用领域,最后对事件库构建技术中面临的主要挑战和关键问题进行了探讨。

关键词：事件库事件检测事件抽取事件融合

来源：评论

学校读者我要写书评

暂无评论

基于可提取哈希证明系统的多策略加密方案

引用

电子学报 2019年第2期47卷 337-343页

作者：张丽娜杨波黄梅娟贾艳艳陕西师范大学计算机科学学院西安科技大学计算机科学与技术学院中国科学院信息工程研究所信息安全国家重点实验室宝鸡文理学院数学与信息科学学院

哈希证明系统由Cramer-Shoup在2002年首次提出,到目前为止仍是密码工作者的研究热点之一.进而,Wee在2010年提出可提取哈希证明系统的概念,其可用来构造基于查找性困难假设的公钥加密方案.本文在可提取哈希证明系统之上,通过重新定义系... 详细信息

哈希证明系统由Cramer-Shoup在2002年首次提出,到目前为止仍是密码工作者的研究热点之一.进而,Wee在2010年提出可提取哈希证明系统的概念,其可用来构造基于查找性困难假设的公钥加密方案.本文在可提取哈希证明系统之上,通过重新定义系统参数的意义,扩大了可提取哈希证明系统的密码学应用范围.我们利用可提取哈希证明系统的框架构造了一个基本的基于Diffie-Hellman关系的All-But-One可提取哈希证明系统.在此基础上细粒度了辅助输入,引入权重计算,给出了一个基于标签和可变策略的CCA加密方案,并进行了详细的安全性证明.特别的,该方案比可提取具有更丰富的抽象表达,即是All-But-N的,也即在提取模式中由标签决定的分支数量可以有n个.同时,该方案是基于困难性可搜索问题,本质上是基于计算性的Diffie-Hellman问题.

关键词： Diffie-Hellman关系选择密文攻击哈希证明系统可提取哈希证明系统多策略

来源：评论

学校读者我要写书评

暂无评论

Simpira置换的差分路线研究

引用

遥测遥控 2020年第5期41卷 52-56页

作者：李铮张建标赵静远徐万山袁艺林北京工业大学信息学部可信计算北京市重点实验室北京100022 中国科学院信息工程研究所信息安全国家重点实验室北京100093 北京遥测技术研究所北京100094

对称密码算法设计由算法结构设计和内部置换函数设计组成,但又不是一种单纯的累加,算法结构与置换函数之间的配合与相互作用也是至关重要的,相应的分析工作可为密码算法的安全性评估和设计提供参考。Simpira是一族密码置换,整体结构为广... 详细信息

对称密码算法设计由算法结构设计和内部置换函数设计组成,但又不是一种单纯的累加,算法结构与置换函数之间的配合与相互作用也是至关重要的,相应的分析工作可为密码算法的安全性评估和设计提供参考。Simpira是一族密码置换,整体结构为广义Feistel结构,其F函数基于AES,最终选取的F函数相当于2轮AES轮函数。研究的对象是Simpira设计文档中提到的一种结构,是Simpira-2的一种简化情形,算法的状态大小为256比特,整体结构为Feistel结构,其中F函数采用1轮AES。在这种简化的情况中,研究给出了4轮6个活跃S盒和5轮15个活跃S盒的截断差分路线的可能模式,通过S盒、列混合操作中差分的计算和分析,对应上述4轮、5轮截断差分,具体路线的概率分别可达到2-36、2-91。

关键词： Simpira Feistel结构 AES 差分路线活跃S盒

来源：评论

学校读者我要写书评

暂无评论

理性密码协议专栏序言(中英文)

引用

密码学报 2019年第1期6卷 83-86页

作者：薛锐彭长根田有亮中国科学院信息工程研究所信息安全国家重点实验室北京100093 贵州大学公共大数据国家重点实验室贵阳550025 贵州大学计算机科学与技术学院贵阳550025

理性密码协议是密码学与博弈论交叉研究的新兴方向,它扩展了密码协议和博弈理论的研究领域,已成为当前密码领域的研究热点.在基于密码学的安全通信中,无论参与者是诚实的还是恶意的,当他们达到某种通信目的时都将付出一定代价.而往往参... 详细信息

理性密码协议是密码学与博弈论交叉研究的新兴方向,它扩展了密码协议和博弈理论的研究领域,已成为当前密码领域的研究热点.在基于密码学的安全通信中,无论参与者是诚实的还是恶意的,当他们达到某种通信目的时都将付出一定代价.而往往参与者会从最大化自身利益的角度出发选择自己的行动策略,密码协议的这种理性参与者正好与博弈论中的理性局中人相符.

关键词：密码学安全多方计算博弈论

来源：评论

学校读者我要写书评

暂无评论

有限域上几类置换和完全置换

引用

密码学报 2019年第5期6卷 665-674页

作者：查正邦胡磊洛阳师范学院数学科学学院河南省大数据处理与分析重点实验室洛阳471934 中国科学院信息工程研究所信息安全国家重点实验室北京100093 中国科学院大学网络空间安全学院北京100049

置换多项式是有限域及其应用研究的重要理论和工具,它在数学和通信领域均有广泛的应用.完全置换是一种特殊的置换多项式,它的构造和应用是密码学、编码理论、组合设计等领域中的热点问题.本文介绍了置换和完全置换的研究进展,研究了有... 详细信息

置换多项式是有限域及其应用研究的重要理论和工具,它在数学和通信领域均有广泛的应用.完全置换是一种特殊的置换多项式,它的构造和应用是密码学、编码理论、组合设计等领域中的热点问题.本文介绍了置换和完全置换的研究进展,研究了有限域上具有特定形式的多项式的置换性质,给出了有限域上置换和完全置换的一般构造方法.先后运用迹函数、线性置换和Dickson置换构造了有限域Fqn上六类形如γx+Trqqn(h(x))的置换,通过限制系数γ的取值得到三类新的完全置换.基于已知的置换判定法则,确定了二项式γx+xs+1是置换的充分条件,进而得到有限域Fqn上几类新的xh(xs)型完全置换.结果表明:有限域Fqn上形如γx+Trqqn(h(x))或γx+xs+1的置换与它的子域Fq上的某些置换具有对应关系,由此可利用Fq上已知的完全置换来构造Fqn上新的完全置换.

关键词：有限域置换多项式完全置换迹函数

来源：评论

学校读者我要写书评

暂无评论

我国信息网络安全学术研究的影响力分析

引用

信息安全研究 2020年第9期6卷 807-817页

作者：寇春静刘志娟张弛雷灵光信息安全国家重点实验室(中国科学院信息工程研究所) 北京100091 工业和信息化部产业发展促进中心北京100846 中电数据服务有限公司北京100088

党的十八大以来,党中央国务院高度重视密码和信息安全,极大地推动了密码和信息安全的科研工作.为了对比中国信息安全学术界国际化研究成果的发展,总结我国近年来在信息网络安全基础研究领域取得的成绩,通过对信息安全顶级国际学术会议... 详细信息

党的十八大以来,党中央国务院高度重视密码和信息安全,极大地推动了密码和信息安全的科研工作.为了对比中国信息安全学术界国际化研究成果的发展,总结我国近年来在信息网络安全基础研究领域取得的成绩,通过对信息安全顶级国际学术会议中的高质量文章进行分析,从一个角度展示我国信息网络安全学术界国际影响力的变迁.通过统计密码学研究领域学术水平最高、影响力最大的三大顶级学术会议(Crypto,Eurocrypt,Asiacrypt)和信息网络安全领域最具国际影响力的四大顶级学术会议(USENIX Security,CCS,S&P,NDSS)中发表的中国机构为第一署名单位的文章,对中国信息网络安全学术研究影响力进行分析.统计结果表明,党的十八大以来我国信息网络安全学术研究进步非常明显,影响力呈逐年提高态势.清华大学、上海交通大学等仍旧是我国信息网络安全基础研究的排头兵.从不同会议文章的分布看,我国在信息网络安全方面的研究布局是均衡的,但与国际同行的差距依旧明显.

关键词：中国信息网络安全学术研究影响力数据分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：