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

电子与信息学报 2020年第9期42卷 2126-2133页

作者：闫佳闫佳聂楚江苏璞睿中国科学院大学计算机科学与技术学院北京100190 中国科学院软件研究所可信计算与信息保障实验室北京100190

机器学习已经广泛应用于恶意代码检测中,并在恶意代码检测产品中发挥重要作用。构建针对恶意代码检测机器学习模型的对抗样本,是发掘恶意代码检测模型缺陷,评估和完善恶意代码检测系统的关键。该文提出一种基于遗传算法的恶意代码对抗... 详细信息

机器学习已经广泛应用于恶意代码检测中,并在恶意代码检测产品中发挥重要作用。构建针对恶意代码检测机器学习模型的对抗样本,是发掘恶意代码检测模型缺陷,评估和完善恶意代码检测系统的关键。该文提出一种基于遗传算法的恶意代码对抗样本生成方法,生成的样本在有效对抗基于机器学习的恶意代码检测模型的同时,确保了恶意代码样本的可执行和恶意行为的一致性,有效提升了生成对抗样本的真实性和模型对抗评估的准确性。实验表明,该文提出的对抗样本生成方法使MalConv恶意代码检测模型的检测准确率下降了14.65%;并可直接对VirusTotal中4款基于机器学习的恶意代码检测商用引擎形成有效的干扰,其中,Cylance的检测准确率只有53.55%。

关键词：恶意代码检测机器学习对抗样本

来源：评论

学校读者我要写书评

暂无评论

基于局部路径图的自动化漏洞成因分析方法

引用

软件学报 2024年第10期35卷 4555-4572页

作者：余媛萍苏璞睿贾相堃黄桦烽中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学计算机科学与技术学院北京100049

快速的漏洞成因分析是漏洞修复中的关键一环,也一直是学术界和工业界关注的热点.现有基于大量测试样本执行记录进行统计特征分析的漏洞成因分析方法,存在随机性噪声、重要逻辑关联指令缺失等问题,其中根据测试集测量,现有统计方法中的... 详细信息

快速的漏洞成因分析是漏洞修复中的关键一环,也一直是学术界和工业界关注的热点.现有基于大量测试样本执行记录进行统计特征分析的漏洞成因分析方法,存在随机性噪声、重要逻辑关联指令缺失等问题,其中根据测试集测量,现有统计方法中的随机性噪声占比达到了61%以上.针对上述问题,提出一种基于局部路径图的漏洞成因分析方法,其从执行路径中,提取函数间调用图和函数内控制流转移图等漏洞关联信息.并以此为基础筛除漏洞成因无关指令(即噪声指令),构建成因点逻辑关系并补充缺失的重要指令,实现一个面向二进制软件的自动化漏洞成因分析系统LGBRoot.系统在20个公开的CVE内存破坏漏洞数据集上进行验证.单个样本成因分析平均耗时12.4 s,实验数据表明,系统可以自动剔除56.2%噪声指令和补充并联结20个可视化漏洞成因相关点指令间的逻辑结构,加快分析人员的漏洞分析速度.

关键词：漏洞分析成因分析函数间调用图函数内控制流转移图统计分析

来源：评论

学校读者我要写书评

暂无评论

可控内存写漏洞自动利用生成方法

引用

通信学报 2022年第1期43卷 83-95页

作者：黄桦烽苏璞睿杨轶贾相堃中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学计算机科学与技术学院北京100190

针对现有漏洞自动利用生成方法无法实现从“可控内存写”到“控制流劫持”的自动构造问题,提出一种可控内存写漏洞的自动利用生成方法。首先,基于内存地址控制力度的动态污点分析方法检测可控内存写漏洞;然后,基于漏洞利用模式进行利用... 详细信息

针对现有漏洞自动利用生成方法无法实现从“可控内存写”到“控制流劫持”的自动构造问题,提出一种可控内存写漏洞的自动利用生成方法。首先,基于内存地址控制力度的动态污点分析方法检测可控内存写漏洞;然后,基于漏洞利用模式进行利用要素搜索,通过约束求解自动构造可控内存写漏洞的利用。实验结果表明,所提方法可以有效检测可控内存写漏洞,搜索漏洞利用要素,自动生成从可控内存写到控制流劫持的利用。

关键词：可控内存写控制流劫持动态污点分析漏洞利用要素自动利用生成

来源：评论

学校读者我要写书评

暂无评论

一个高传输效率的多值拜占庭共识方案

引用

密码学报 2018年第5期5卷 516-528页

作者：郭兵勇李新宇中国科学院软件研究所可信计算与信息保障实验室北京100190

拜占庭协议一直是分布式计算领域的重要研究内容,近年来广泛应用于各种电子货币系统的设计.由于传统拜占庭协议的应用场景规模较小,系统着重于良好带宽下的交互简化、计算代价优化等方面.然而,在电子货币等部署于大规模网络环境的应用中... 详细信息

拜占庭协议一直是分布式计算领域的重要研究内容,近年来广泛应用于各种电子货币系统的设计.由于传统拜占庭协议的应用场景规模较小,系统着重于良好带宽下的交互简化、计算代价优化等方面.然而,在电子货币等部署于大规模网络环境的应用中,参与节点多而分散,网络传输时效难以得到保证,并且传输的数据量往往很大,这对拜占庭协议在弱同步甚至是完全异步环境下的安全性和传输效率提出了更高的要求.Miller等人在2016年构造的HoneyBadger BFT是第一个完全异步环境下的实用拜占庭协议.尽管HoneyBadger BFT的传输效率相比其他异步拜占庭协议具有明显优势,在本文中我们指出HoneyBadger BFT的传输效率可以进一步提高.本文提出了一种"先共识消息哈希,后请求缺失消息"的共识思路,进而构造了一个新的共识方案,通过减少节点之间不必要的消息传输实现了比HoneyBadger BFT更高的传输效率.

关键词：多值的共识拜占庭协议传输效率

来源：评论

学校读者我要写书评

暂无评论

一种基于UML的网络安全体系建模分析方法

引用

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

作者：布宁刘玉岭连一峰黄亮中国信息安全认证中心北京100020 中国科学院软件研究所可信计算与信息保障实验室北京100190

在现有法律法规和标准体系的指导下,提出了一种通用的网络安全体系框架,阐述了安全目标、安全边界、安全体系要素与安全服务和安全风险评估之间的关系.在网络安全体系框架的基础上,利用统一建模语言(Unified Modeling Language,UML)在... 详细信息

在现有法律法规和标准体系的指导下,提出了一种通用的网络安全体系框架,阐述了安全目标、安全边界、安全体系要素与安全服务和安全风险评估之间的关系.在网络安全体系框架的基础上,利用统一建模语言(Unified Modeling Language,UML)在建模表述上的强大性和通用性给出了安全目标、安全边界和安全体系要素的建模方法,以规范化安全体系的表示形式并消除沟通中的歧义性.利用建立的模型,安全管理员使用提出的网络安全建模分析方法,可以验证业务流程的目标满足性并得出可能的安全风险.最后通过一个典型网上银行网络的建模分析,验证了提出的安全体系框架和建模分析方法的有效性和合理性.相比于传统的方法,该方法建模分析要素更为全面,且推导得出的结果指导性更强.

关键词：网络安全体系 UML建模安全目标安全边界安全措施

来源：评论

学校读者我要写书评

暂无评论

TCM密钥迁移协议设计及形式化分析

引用

软件学报 2015年第9期26卷 2396-2417页

作者：张倩颖冯登国赵世军中国科学院软件研究所可信计算与信息保障实验室北京100190 首都师范大学信息工程学院北京100048

为增强TCM芯片间密钥的互操作性,TCM提供了密钥迁移相关命令接口,允许用户设计密钥迁移协议以实现芯片间密钥的共享.通常,TCM密钥迁移协议以目标TCM上的新父密钥作为迁移保护密钥.研究发现,该协议存在两个问题:对称密钥不能作为被迁移... 详细信息

为增强TCM芯片间密钥的互操作性,TCM提供了密钥迁移相关命令接口,允许用户设计密钥迁移协议以实现芯片间密钥的共享.通常,TCM密钥迁移协议以目标TCM上的新父密钥作为迁移保护密钥.研究发现,该协议存在两个问题:对称密钥不能作为被迁移密钥的新父密钥,违背了TCM的初始设计思想;缺少交互双方TCM的相互认证,导致源TCM的被迁移密钥可以被外部敌手获得,并且敌手可以将其控制的密钥迁移到目标TCM中.针对上述问题,提出两个新的密钥迁移协议:协议1遵循TCM目前的接口规范,以目标TCM的PEK(platform encryption key)作为迁移保护密钥,能够认证目标TCM,并允许对称密钥作为新父密钥;协议2简单改动了TCM接口,以源TCM和目标TCM进行SM2密钥协商,得到的会话密钥作为迁移保护密钥,解决了上述两个问题,并且获得了前向安全属性.最后,使用形式化分析方法对上述协议进行安全性分析,分析结果显示,协议满足正确性和预期的安全属性.

关键词：可信计算可信密码模块密钥迁移协议设计形式化分析

来源：评论

学校读者我要写书评

暂无评论

面向云存储的多副本文件完整性验证方案

引用

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

作者：付艳艳张敏陈开渠冯登国中国科学院软件研究所可信计算与信息保障实验室北京100190 国家超级计算深圳中心(深圳云计算中心) 广东深圳518055

文件完整性验证是云存储服务的一项重要安全需求.研究者已经提出多项针对云存储文件完整性验证的机制,例如数据持有性验证(prove of data possession,PDP)或者数据可恢复证明(proof of retrievability,POR)机制.但是,现有方案只能够证... 详细信息

文件完整性验证是云存储服务的一项重要安全需求.研究者已经提出多项针对云存储文件完整性验证的机制,例如数据持有性验证(prove of data possession,PDP)或者数据可恢复证明(proof of retrievability,POR)机制.但是,现有方案只能够证明远程云存储持有一份正确的数据,不能检验其是否保存多份冗余存储.在云存储场景中,用户需要验证云存储确实持有一定副本数的正确文件,以防止部分文件意外损坏时无法通过正确的副本进行恢复.提出的多副本文件完整性验证方案,能够帮助用户确定服务器正确持有的文件副本数目,并能够定位出错的文件块位置,从而指导用户进行数据恢复.实验证明,充分利用了多服务器分布式计算的优势,在验证效率上优于单副本验证方案.

关键词：云存储一致性完整性多副本冗余存储

来源：评论

学校读者我要写书评

暂无评论

一种基于门限与感染技术的SM4算法综合防护实现

引用

电子学报 2022年第5期50卷 1066-1074页

作者：焦志鹏姚富陈华王舰匡晓云黄开天中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学北京100049 南方电网科学研究院广东广州510663

侧信道攻击和故障攻击对于密码算法的实现安全性有着巨大的威胁.针对这样的现状,本文结合门限实现和乘法感染防护思想构造了一种具有抵抗侧信道攻击和故障攻击能力的综合防护方案,以门限实现思想为基础实现了对于侧信道攻击的防护,以乘... 详细信息

侧信道攻击和故障攻击对于密码算法的实现安全性有着巨大的威胁.针对这样的现状,本文结合门限实现和乘法感染防护思想构造了一种具有抵抗侧信道攻击和故障攻击能力的综合防护方案,以门限实现思想为基础实现了对于侧信道攻击的防护,以乘法感染思想为基础实现了对于故障攻击的防护,二者相互结合使得综合防护方案同时具有抵抗侧信道攻击和故障攻击的能力.此外以门限实现改善了乘法感染防护中随机数为0的缺陷,并且结合随机置换思想进一步提高了防护方案抵抗故障攻击的能力.随后本文依据以上综合防护理论构造了一种适用于SM4算法的综合防护实现方案,并在现场可编程门阵列(Field Programmable Gate Array,FPGA)上进行了具体的实现,最后通过理论分析和安全性评估实验验证了该综合防护方案的安全性.

关键词：侧信道攻击故障攻击门限实现感染综合防护 SM4算法

来源：评论

学校读者我要写书评

暂无评论

面向跨信任域互联网场景的拜占庭容错访问控制架构

引用

软件学报 2024年

作者：韩将张振峰刘雨果胡可欣何双羽中国科学院大学中国科学院软件研究所可信计算与信息保障实验室

工业界现用的访问权限控制技术愈来愈难以应对广域互联网场景下部署的分布式系统的访问控制问题,特别是跨多个信任域部署的大型信息系统在地理分布上不断分散化,造成防护弱点不断增加.基于共识的访问控制策略共享技术能够使跨信任域部... 详细信息

工业界现用的访问权限控制技术愈来愈难以应对广域互联网场景下部署的分布式系统的访问控制问题,特别是跨多个信任域部署的大型信息系统在地理分布上不断分散化,造成防护弱点不断增加.基于共识的访问控制策略共享技术能够使跨信任域部署的访问控制节点安全快速地达成一致决策.首先提出面向多节点的基于共识的访问权限控制模型,提出强安全高性能的访问控制引擎共识算法Super-Dumbo.该算法突破Dumbo2共识协议的性能瓶颈,优化消息广播、随机掷币、共识算法设计等关键步骤的设计,减少数字签名验证等计算开销、有效提升带宽利用率,从而在吞吐量和延迟时间等性能方面取得大幅提升,满足CBAC访问控制模型对底层共识算法低延迟、大吞吐量的性能要求.

关键词：分布式访问控制拜占庭容错异步共识协议基于共识的访问控制

来源：评论

学校读者我要写书评

暂无评论

分组密码专刊序言(中英文)

引用

密码学报 2019年第6期6卷 687-689页

作者：吴文玲中国科学院软件研究所可信计算与信息保障实验室中国科学院大学

为繁荣我国密码理论和应用研究,推动密码算法设计和实现技术进步,促进密码人才成长,中国密码学会举办了全国密码算法设计竞赛.22个分组密码算法通过形式审查进入第一轮评估.2019年9月27日,中国密码学会公布了进入第二轮评估的10个分组... 详细信息

为繁荣我国密码理论和应用研究,推动密码算法设计和实现技术进步,促进密码人才成长,中国密码学会举办了全国密码算法设计竞赛.22个分组密码算法通过形式审查进入第一轮评估.2019年9月27日,中国密码学会公布了进入第二轮评估的10个分组密码算法:uBlock、Ballet、FESH、TANGRAM、ANT、NBC、FBC、SMBA、Raindrop和SPRING.

关键词：设计和实现密码算法 GRAM 设计竞赛分组密码形式审查人才成长

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：