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

计算机研究与发展 2021年第5期58卷 964-976页

作者：张颖君陈恺周赓吕培卓刘勇黄亮中国科学院软件研究所可信计算与信息保障实验室北京100190 信息安全国家重点实验室(中国科学院信息工程研究所) 北京100195 中国科学院大学网络空间安全学院北京100049 中国科学院大学计算机科学与技术学院北京100049 奇安信科技集团股份有限公司北京100015

随着深度神经网络的推广应用,训练后的神经网络模型已经成为一种重要的资产并为用户提供服务.服务商在提供服务的同时,也更多地关注其模型的版权保护,神经网络水印技术应运而生.首先,分析水印及其基本需求,并对神经网络水印涉及的相关... 详细信息

随着深度神经网络的推广应用,训练后的神经网络模型已经成为一种重要的资产并为用户提供服务.服务商在提供服务的同时,也更多地关注其模型的版权保护,神经网络水印技术应运而生.首先,分析水印及其基本需求,并对神经网络水印涉及的相关技术进行介绍;对深度神经网络水印技术进行对比,并重点对白盒和黑盒水印进行详细分析;对神经网络水印攻击技术展开对比,并按照水印攻击目标的不同,对水印鲁棒性攻击、隐蔽性攻击、安全性攻击等技术进行分类介绍;最后对未来方向与挑战进行探讨.

关键词：数字水印深度神经网络神经网络后门神经网络水印水印攻击

来源：评论

学校读者我要写书评

暂无评论

基于数据中台的网络安全挂图作战体系结构与应用

基于数据中台的网络安全挂图作战体系结构与应用

引用

2024世界智能产业博览会人工智能安全治理主题论坛

作者：程杰夏昂黄克振卢腾张海霞连一峰国家电网有限公司信息通信分公司中国科学院软件研究所可信计算与信息保障实验室

随着网络空间延伸范围和深度的加大,攻击者可利用的攻击面逐渐扩大,导致攻击频度和复杂度越来越高.严峻的网络攻击形势迫使安全运营人员不断提高安全事件的分析准确率和时效性,而分析过程涉及的海量多源异构数据进一步增加了分析难度.... 详细信息

随着网络空间延伸范围和深度的加大,攻击者可利用的攻击面逐渐扩大,导致攻击频度和复杂度越来越高.严峻的网络攻击形势迫使安全运营人员不断提高安全事件的分析准确率和时效性,而分析过程涉及的海量多源异构数据进一步增加了分析难度.提出一种基于数据中台的网络安全挂图作战体系结构,建立网络安全数据资源目录以引导相关数据的集成转换,构建模型、任务、引擎3层式数据治理分析机制,以支撑面向网络安全业务的数据治理分析;引入挂图作战思想,将网络安全要素与地理空间要素相结合,达到以层次性、可视化的方式展现网络风险、威胁、态势等信息及相应地理位置;结合典型安全应用的分析和设计,证明了该框架体系的可行性、有效性和先进性.

关键词：数据中台挂图作战数据治理安全风险安全态势

来源：评论

学校读者我要写书评

暂无评论

模糊测试改进技术评估

引用

计算机系统应用 2022年第10期31卷 1-14页

作者：张阳佟思明程亮孙晓山中国科学院大学北京100049 中国科学院软件研究所可信计算与信息保障实验室北京100190

模糊测试技术在发现真实程序漏洞中具有突出效果.近年来,模糊测试改进技术受到了相关学者的广泛关注,大量的优化模糊测试工具被相继提出,被提出的优化模糊测试工具多数结合了多种改进技术以期望达到更好的效果.然而,当前仍然缺乏对单一... 详细信息

模糊测试技术在发现真实程序漏洞中具有突出效果.近年来,模糊测试改进技术受到了相关学者的广泛关注,大量的优化模糊测试工具被相继提出,被提出的优化模糊测试工具多数结合了多种改进技术以期望达到更好的效果.然而,当前仍然缺乏对单一模糊测试改进技术的系统性评估与分析.本文首先基于4个指标,设计建立了一个针对单一模糊测试改进技术的评估体系,然后基于所提出的评估体系,对近年提出的先进模糊测试工具中集成的多个单一模糊测试改进算法进行了多组实验以评估不同改进技术类别中各个单一改进技术的改进效果,并结合实验数据与实际算法设计和代码实现进行分析.我们希望通过对单一模糊测试改进技术的评估与分析能够对未来的模糊测试改进研究工作提供帮助.

关键词：漏洞挖掘模糊测试评估改进技术信息安全

来源：评论

学校读者我要写书评

暂无评论

基于遗传算法的恶意代码对抗样本生成方法

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于Feistel结构的分组密码算法Eslice

引用

山东大学学报（理学版） 2023年第3期58卷 85-92页

作者：梁丽芳杜小妮李锴彬谢歆李晓丹西北师范大学数学与统计学院甘肃兰州730070 西北师范大学密码技术与数据分析重点实验室甘肃兰州730070 西北师范大学计算机科学与工程学院甘肃兰州730070 中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学计算机科学与技术学院北京100049

一族安全性较高的分组密码算法Eslice,包含3个版本:Eslice-64-64,分组长度和密钥长度均为64比特;Eslice-64-128,分组长度为64比特,密钥长度为128比特;Eslice-128-128,分组长度和密钥长度均为128比特。Eslice的设计灵感源于LBlock。整体... 详细信息

一族安全性较高的分组密码算法Eslice,包含3个版本:Eslice-64-64,分组长度和密钥长度均为64比特;Eslice-64-128,分组长度为64比特,密钥长度为128比特;Eslice-128-128,分组长度和密钥长度均为128比特。Eslice的设计灵感源于LBlock。整体采用Feistel结构,轮函数采用SP结构,所选取的S盒其各项密码性质均达到最优。线性变换仅有循环移位和异或两种操作,且密钥生成算法与加密算法使用相同的S盒。进一步,分析Eslice针对差分、线性、积分等密码分析方法的安全性,利用基于混合整数线性规划(MILP)的搜索模型,得到20轮的最小活跃S盒的个数为41个,比LBlock 20轮的最小活跃S盒的个数少3个,通过活跃S盒的个数估算差分概率和线性偏差,对算法进行安全性评估。结果表明,Eslice算法可以有效的抵抗差分攻击和线性攻击。

关键词：分组密码 Feistel结构安全性分析 S盒

来源：评论

学校读者我要写书评

暂无评论

持久故障攻击威胁性研究

引用

计算机科学 2021年第S02期48卷 523-527,539页

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

持久故障攻击是一种利用持久性故障及统计方法恢复密钥信息的强大攻击技术,可应用于分组密码查表实现的密钥恢复,其最大的优势在于仅需一次故障注入即可恢复密钥信息,并且持久故障攻击可以应用于检测技术、掩码技术等经典的分组密码防... 详细信息

持久故障攻击是一种利用持久性故障及统计方法恢复密钥信息的强大攻击技术,可应用于分组密码查表实现的密钥恢复,其最大的优势在于仅需一次故障注入即可恢复密钥信息,并且持久故障攻击可以应用于检测技术、掩码技术等经典的分组密码防护实现。虽然如此,经典的故障攻击防护技术仍然提高了持久故障攻击难度,检测、感染技术都使得提取正确密钥所需的密文数量有了常数倍的提升,这对于实际场景中的攻击会造成阻碍。对S盒进行实时的健康性检测是一种防范持久故障攻击的有效手段,一旦检测到S盒被注入故障则不再进行后续加密。持久故障攻击充分利用了S盒的双射特性,故针对S盒的双射特性进行健康性检测是一种高效的防护方法,对于一个8比特的S盒,只需进行255次异或操作即可完成对S盒双射特性的检验,远高于SHA3等通用的校验方法。此外,激光传感器等非算法层面的防护也应受到重视。

关键词：持久故障攻击分组密码防护技术健康性检验双射

来源：评论

学校读者我要写书评

暂无评论

创新发展中的可信计算理论与技术

引用

中国科学：信息科学 2020年第8期50卷 1127-1147页

作者：冯登国刘敬彬秦宇冯伟中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学北京100049

可信计算以硬件安全机制为基础,建立可信赖计算环境,从体系结构上全面增强系统和网络信任,是当前学术界和产业界的关注热点.随着信息技术的深入发展,新应用场景的不断涌现,网络空间的安全威胁日益严峻,因此可信计算在重要信息系统的安... 详细信息

可信计算以硬件安全机制为基础,建立可信赖计算环境,从体系结构上全面增强系统和网络信任,是当前学术界和产业界的关注热点.随着信息技术的深入发展,新应用场景的不断涌现,网络空间的安全威胁日益严峻,因此可信计算在重要信息系统的安全防护领域将发挥越来越重要的作用.本文从创新发展角度,围绕作者20年来在可信计算领域的研究成果,综述了可信计算理论的发展历程,提炼总结出涵盖两大方法基础、三大信任核心和四大关键技术的可信计算技术体系,阐述了移动可信计算、抗量子可信计算、可信物联网、可信云、可信区块链等方面的重要研究问题以及可信计算在这些领域的融合创新成果.在移动可信计算方面,软硬件结合的可信执行环境体系架构设计和实现是研究重点,其次,移动操作系统内核运行时安全隔离防护,以及基于可信执行环境(trusted execution environment,TEE)的移动应用安全防护也是两个重要研究问题.在可信物联网方面,由于嵌入式环境本身的特性以及资源的受限,轻量级的信任根构建、高效安全的软件证明、实用的安全代码更新机制、集群设备证明是该领域有待进一步研究的重要问题.在抗量子可信计算、可信云、可信区块链等新型场景中,可信计算技术也在不断地拓展其应用边界,发挥更加重要的作用.最后本文展望和讨论了可信计算未来的发展趋势.

关键词：可信计算可信执行环境移动可信计算抗量子可信计算可信物联网可信云可信区块链

来源：评论

学校读者我要写书评

暂无评论

基于MQTT协议扩展的IoT设备完整性监控

引用

计算机系统应用 2022年第11期31卷 68-78页

作者：齐兵秦宇李敏虹谢宏尚科彤冯伟李为中国科学院大学北京100049 中国科学院软件研究所可信计算与信息保障实验室北京100190 深圳供电局有限公司深圳518028

随着物联网飞速发展,设备数量呈指数级增长,随之而来的IoT安全问题也受到了越来越多的关注.通常IoT设备完整性认证采用软件证明方法实现设备完整性校验,以便及时检测出设备中恶意软件执行所导致的系统完整性篡改.但现有IoT软件证明存在... 详细信息

随着物联网飞速发展,设备数量呈指数级增长,随之而来的IoT安全问题也受到了越来越多的关注.通常IoT设备完整性认证采用软件证明方法实现设备完整性校验,以便及时检测出设备中恶意软件执行所导致的系统完整性篡改.但现有IoT软件证明存在海量设备同步证明性能低、通用IoT通信协议难以扩展等问题.针对这些问题,本文提供一种轻量级的异步完整性监控方案,在通用MQTT协议上扩展软件证明安全认证消息,异步推送设备完整性信息,在保障IoT系统高安全性的同时,提高了设备完整性证明验证效率.我们的方案实现了以下3方面安全功能:以内核模块方式实现设备完整性度量功能,基于MQTT的设备身份和完整性轻量级认证扩展,基于MQTT扩展协议的异步完整性监控.本方案能够抵抗常见的软件证明和MQTT协议攻击,具有轻量级异步软件证明、通用MQTT安全扩展等特点.最后在基于MQTT的IoT认证原型系统的实验结果表明,IoT节点的完整性度量、MQTT协议连接认证、PUBLISH报文消息认证性能较高,都能满足海量IoT设备完整性监控的应用需求.

关键词：物联网安全完整性度量 MQTT协议安全扩展软件证明可信计算

来源：评论

学校读者我要写书评

暂无评论

后量子对称密码的研究现状与发展趋势

引用

电子与信息学报 2020年第2期42卷 287-294页

作者：眭晗吴文玲中国科学院软件研究所计算机科学国家重点实验室可信计算与信息保障实验室北京100190 密码科学技术国家重点实验室北京100878

经典对称密码算法的安全性在量子环境下面临严峻的挑战,促使研究者们开始探寻在经典和量子环境下均具有安全性的密码算法,后量子对称密码研究应运而生。该领域的研究目前仍处于初级阶段,尚未形成完整的体系。该文对现有的研究成果进行归... 详细信息

经典对称密码算法的安全性在量子环境下面临严峻的挑战,促使研究者们开始探寻在经典和量子环境下均具有安全性的密码算法,后量子对称密码研究应运而生。该领域的研究目前仍处于初级阶段,尚未形成完整的体系。该文对现有的研究成果进行归类,从量子算法、密码分析方法、安全性分析、可证明安全4个方面对后量子对称密码领域的研究现状进行介绍。在分析研究现状的基础上,对后量子对称密码的发展趋势进行预测,为对称密码在量子环境下的分析和设计提供参考。

关键词：对称密码量子算法后量子密码分析可证明安全

来源：评论

学校读者我要写书评

暂无评论

面向物联网设备的安全集群证明及修复协议

引用

计算机系统应用 2022年第9期31卷 183-191页

作者：林江南吴秋新冯伟北京信息科技大学理学院北京100192 中国科学院软件研究所可信计算与信息保障实验室北京100190

由于物联网设备本身缺少安全机制,物联网环境面临着严峻的安全挑战.而远程证明能够认证设备真实性和完整性,可以通过远程方式建立对物联网设备的信任.集群证明是远程证明技术的扩展,可以适用于大量设备构成的集群.相较于传统的远程证明... 详细信息

由于物联网设备本身缺少安全机制,物联网环境面临着严峻的安全挑战.而远程证明能够认证设备真实性和完整性,可以通过远程方式建立对物联网设备的信任.集群证明是远程证明技术的扩展,可以适用于大量设备构成的集群.相较于传统的远程证明,集群证明解放了验证设备,提高了验证的效率.目前,集群证明方法主要是针对静态网络,而且对于受损设备也缺乏高效的修复机制.针对这些问题,本文提出了一种基于信誉机制和Merkle树的安全集群证明及修复方法.首先,本文方法使用信誉机制实现了多对一的证明协议,能有效解决单点故障,从设备触发验证,并且能够适用于半动态网络.其次,本文引入Merkle树进行度量,能够快速地识别被感染的代码块,并进行高效地恢复;最后,本文对提出的集群证明方法进行了安全性分析和性能评估,结果表明,本文集群证明在提高了安全性的同时导致的性能开销是可以接受的.

关键词：物联网安全可信计算远程证明集群证明信誉机制默克尔树

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：