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

密码学报(中英文) 2025年第1期12卷 19-38页

作者：林茜李永强王明生中国科学院信息工程研究所网络空间安全防御重点实验室北京100080 中国科学院大学网络空间安全学院北京100049

零知识证明协议是隐私保护的一项重要工具.随着隐私保护技术的发展,出现了越来越多的零知识证明协议与杂凑函数结合的场景,例如零知识地证明杂凑函数被正确计算的.而传统的杂凑函数在该场景下并不高效,因此成为该类应用中的效率瓶颈.为... 详细信息

零知识证明协议是隐私保护的一项重要工具.随着隐私保护技术的发展,出现了越来越多的零知识证明协议与杂凑函数结合的场景,例如零知识地证明杂凑函数被正确计算的.而传统的杂凑函数在该场景下并不高效,因此成为该类应用中的效率瓶颈.为了提高效率,构造高效的零知识证明友好的杂凑函数引起了工业界和学者的广泛关注.本文从零知识证明协议中常用的三种算术化方法的介绍开始,总结了零知识证明友好的杂凑函数的构造特点及其发展阶段.按照发展阶段,本文综述了目前的零知识证明友好的杂凑函数,包括MiMC、Poseidon、Rescue、Reinforced Concrete、Neptune、Anemoi及Griffin算法等,并给出以上算法的结构比较及算术化参数比较.最后给出了零知识证明友好的杂凑函数的挑战及潜在的研究方向.

关键词：零知识证明友好的杂凑函数算术化 SNARK STARK

来源：评论

学校读者我要写书评

暂无评论

智能网联汽车自动驾驶安全:威胁、攻击与防护

引用

软件学报 2025年第4期36卷 1859-1880页

作者：郗来乐林声浩王震谢天鸽孙玉砚朱红松孙利民物联网信息安全技术北京市重点实验室(中国科学院信息工程研究所) 北京100085 中国科学院大学网络空间安全学院北京100049

智能网联汽车在国家发展战略中占有重要地位,是关系汽车产业革新、大国核心竞争力的关键技术,自动驾驶是智能网联汽车发展的最终目标,智能网联汽车自动驾驶(以下称“自动驾驶汽车”)的安全问题直接影响人民生命财产安全、国家公共安全,... 详细信息

智能网联汽车在国家发展战略中占有重要地位,是关系汽车产业革新、大国核心竞争力的关键技术,自动驾驶是智能网联汽车发展的最终目标,智能网联汽车自动驾驶(以下称“自动驾驶汽车”)的安全问题直接影响人民生命财产安全、国家公共安全,但目前还缺少对其的系统性研究.深度剖析自动驾驶面临的安全威胁能对其安全防护和保障提供指导,促进其大规模应用.通过整理学术界与工业界对自动驾驶安全的相关研究工作,分析和总结自动驾驶所面临的安全问题.首先介绍自动驾驶汽车架构、安全的特殊性,其次从模型视角出发,全过程地梳理自动驾驶的物理域输入、信息域输入和驾驶模型这3个方面可能存在的9个攻击作用点及其攻击方式与安全防护手段,最后通过对近7年相关研究论文数据的统计分析,总结自动驾驶安全研究的现状,讨论未来的研究方向.

关键词：智能网联汽车自动驾驶安全威胁攻击方式安全防护

来源：评论

学校读者我要写书评

暂无评论

面向数据出域安全的鲁棒认证密钥协商协议

引用

通信学报 2025年第2期46卷 29-43页

作者：张晶辉张起嘉刘海田有亮李凤华中国科学院信息工程研究所北京100085 中国科学院大学网络空间安全学院北京100049 网络空间安全防御全国重点实验室北京100085 贵州大学计算机科学与技术学院贵州贵阳550025 贵州大学大数据与信息工程学院贵州贵阳550025

针对数据出域场景下的数据安全传输需求,给出了相应的系统模型与安全模型,并提出了一种基于TEE的鲁棒认证密钥协商协议。该协议基于收发双方的可信执行环境,实现了传输密钥的高效抗干扰合成。通过理论证明,所提协议中的通信消息具有机... 详细信息

针对数据出域场景下的数据安全传输需求,给出了相应的系统模型与安全模型,并提出了一种基于TEE的鲁棒认证密钥协商协议。该协议基于收发双方的可信执行环境,实现了传输密钥的高效抗干扰合成。通过理论证明,所提协议中的通信消息具有机密性和存在性不可伪造。最后,实验结果和性能分析表明,与同类型协议相比,所提协议在安全性上具有明显优势,并且降低了通信开销与计算开销,满足基于隐私计算的多方数据安全计算模型的轻量级需求,未来可支撑在可信环境中隐私信息的按需脱敏。

关键词：数据出域安全认证密钥协商可信执行环境中间人攻击鲁棒性

来源：评论

学校读者我要写书评

暂无评论

面向数据跨域安全流通的访问控制研究综述

引用

通信学报 2025年第4期46卷 238-254页

作者：李恒李凤华史欣怡郭云川郭守坤中国科学院信息工程研究所北京100085 中国科学院大学网络空间安全学院北京100049 网络空间安全防御全国重点实验室北京100085 自然资源部国家基础地理信息中心北京100830

为了解决数据要素流通中授权机制差异导致信息在系统中留存产生被篡改、被泄露和被滥用等安全风险,聚焦数据跨域安全流通主题,首先,从数据跨域访问控制面临的问题入手,对数据跨域流通基本概念和数据跨域访问控制内涵进行了深入研究。其... 详细信息

为了解决数据要素流通中授权机制差异导致信息在系统中留存产生被篡改、被泄露和被滥用等安全风险,聚焦数据跨域安全流通主题,首先,从数据跨域访问控制面临的问题入手,对数据跨域流通基本概念和数据跨域访问控制内涵进行了深入研究。其次,针对数据跨域安全流通中的访问控制技术进行了全面综述,包括基于起源、基于意图和面向网络空间等访问控制模型;策略的标签挖掘、策略的协商与生成、策略的冲突检测与消解、策略的传递与执行、策略异常执行的审计等策略管理关键技术;基于区块链、基于数据胶囊和基于数据基础设施等策略实施机制。最后,对数据跨域流通面临的挑战及未来研究方向进行了总结与展望。

关键词：跨域访问控制数据要素流通数据使用控制延伸控制数据安全

来源：评论

学校读者我要写书评

暂无评论

基于深度学习的加密网站指纹识别方法

引用

信息安全研究 2025年第4期11卷 304-310页

作者：池亚平彭文龙徐子涵陈颖北京电子科技学院网络空间安全系北京100070 中国科学院网络测评技术重点实验室(中国科学院信息工程研究所) 北京100093

网站指纹识别技术是网络安全和隐私保护领域的一个重要研究方向,其目标是通过分析网络流量特征识别出用户在加密的网络环境中访问的网站.针对目前主流方法存在应用场景有限、适用性不足以及特征选取单一等问题,提出了一种基于深度学习... 详细信息

网站指纹识别技术是网络安全和隐私保护领域的一个重要研究方向,其目标是通过分析网络流量特征识别出用户在加密的网络环境中访问的网站.针对目前主流方法存在应用场景有限、适用性不足以及特征选取单一等问题,提出了一种基于深度学习的加密网站指纹识别方法.首先,设计了一种新的原始数据包的预处理方法,可以基于直接抓包得到的原始数据包文件得到一个包含空间和时间双特征的具备层次结构的特征序列.然后,设计了一种基于卷积神经网络和长短期记忆网络的融合深度学习模型,充分学习数据中包含的空间和时间特征.在此基础上,进一步探索了不同的激活函数、模型参数和优化算法,以提高模型的识别准确率和泛化能力.实验结果表明,在洋葱匿名网络环境下不依赖其数据单元(cell)时,可展现出更高的网站指纹识别准确率,同时在虚拟私人网络场景下也取得了相较于目前主流机器学习方法更高的准确率.

关键词：深度学习加密流量网站指纹识别洋葱网络虚拟私人网络

来源：评论

学校读者我要写书评

暂无评论

对称密码量子电路的综合与优化研究综述

引用

中国科学:物理学、力学、天文学 2025年第4期55卷 16-29页

作者：林达高飞邹剑黄震宇孙思维孙兵国防科技大学理学院长沙410073 北京邮电大学网络与交换技术国家重点实验室北京100876 福州大学计算机与大数据学院福州350108 福州大学网络系统信息安全福建省高校重点实验室福州350108 中国科学院信息工程研究所网络空间安全防御重点实验室北京100085 中国科学院大学网络空间安全学院北京100049 中国科学院大学密码学院北京100049 密码科学技术全国重点实验室北京100878 国防科技大学密码研究中心长沙410073

随着量子技术的不断发展和量子计算机的逐步推进,现代密码面临的挑战愈加多元化.在分析密码算法抵抗量子攻击的安全性强度时,量子实现电路的构造是其中的重要一环.对称密码是现代密码的重要组成部分.本文综述了近年来在量子计算模型下... 详细信息

随着量子技术的不断发展和量子计算机的逐步推进,现代密码面临的挑战愈加多元化.在分析密码算法抵抗量子攻击的安全性强度时,量子实现电路的构造是其中的重要一环.对称密码是现代密码的重要组成部分.本文综述了近年来在量子计算模型下优化对称密码实现电路的研究成果.具体地,归纳了线性层、S盒以及各类加法操作等的可逆电路构造的相关研究,还总结了AES算法、SM4算法、Camellia算法等对称密码的量子实现研究.

关键词：量子技术量子实现对称密码

来源：评论

学校读者我要写书评

暂无评论

基于时间自动机的数据流通控制建模及验证

引用

通信学报 2025年第3期46卷 13-27页

作者：李恒李凤华梁琬珩郭云川张玲翠周紫妍中国科学院信息工程研究所北京100085 中国科学院大学网络空间安全学院北京100049 网络空间安全防御全国重点实验室北京100085 自然资源部国家基础地理信息中心北京100830 南京信息工程大学计算机学院、网络空间安全学院江苏南京210044

为了解决数据跨域流通控制策略生成、传递与执行的可行性、正确性和安全性验证难题,提出了一种基于时间自动机和计算树时序逻辑的形式化建模及验证方法。该方法首先针对数据流通控制流程,以及数据交易场景(模式)下的数据提供者、数据使... 详细信息

为了解决数据跨域流通控制策略生成、传递与执行的可行性、正确性和安全性验证难题,提出了一种基于时间自动机和计算树时序逻辑的形式化建模及验证方法。该方法首先针对数据流通控制流程,以及数据交易场景(模式)下的数据提供者、数据使用者(含数据经纪人)和数据监管者等实体分别进行形式化建模;随后给出了数据交易过程中,安全需求性质和流通控制属性的计算树时序逻辑形式化规约描述;最后,对上述时间自动机模型进行仿真,并对其性质和属性进行形式化验证与分析。实例分析表明,所提方法可以有效验证数据流通控制机制的可行性、正确性和安全性。

关键词：数据要素流通访问控制时间自动机延伸控制形式化方法验证

来源：评论

学校读者我要写书评

暂无评论

基于多资产关联分析的企业数据风险评估模型

引用

系统科学与数学 2025年第4期 1064-1081页

作者：翟玮楠丁颖于建军张玲玲中国科学院大学经济与管理学院中国科学院信息工程研究所中国科学院大学网络空间安全学院中国科学院计算机网络信息中心中国科学院大数据挖掘与知识管理重点实验室中国科学院大学数字经济监测预测预警与政策仿真教育部哲学社会科学实验室 (培育)

当前数据要素作为企业的重要战略资源,数据安全是企业生存和发展的基础,数据的失窃、泄露、篡改、破坏、滥用等问题,将给企业带来严重威胁和损害.文章重点解决基于企业数据资产的安全风险评估问题,从资产性、脆弱性、威胁性、防护性四... 详细信息

当前数据要素作为企业的重要战略资源,数据安全是企业生存和发展的基础,数据的失窃、泄露、篡改、破坏、滥用等问题,将给企业带来严重威胁和损害.文章重点解决基于企业数据资产的安全风险评估问题,从资产性、脆弱性、威胁性、防护性四个方面构建风险评价指标,提出基于主成分分析法实现不同指标之间的独立性分析.同时考虑数据资产间的关联特性,基于综合灰色关联度设计多资产关联分析的企业数据风险评估模型,有效解决关联资产重复风险评估的问题,提高企业数据资产风险评估的准确性,为企业数据的安全保护提供决策建议.

关键词：企业数据数据风险评估主成分分析法灰色关联度分析法

来源：评论

学校读者我要写书评

暂无评论

联邦学习中隐私攻击与防御综述

引用

信息安全学报 2025年第02期 219-230页

作者：王恺楠张玉会侯锐中国科学院信息工程研究所信息安全国家重点实验室中国科学院大学网络空间安全学院

联邦学习作为一种新兴的分布式机器学习框架。在保护用户隐私的同时实现数据共享与模型训练,已逐渐成为人工智能领域的重要研究方向。该方法通过多个数据提供方共同训练机器学习模型,能够在不泄露原始数据的前提下完成模型更新和优化。... 详细信息

联邦学习作为一种新兴的分布式机器学习框架。在保护用户隐私的同时实现数据共享与模型训练,已逐渐成为人工智能领域的重要研究方向。该方法通过多个数据提供方共同训练机器学习模型,能够在不泄露原始数据的前提下完成模型更新和优化。近年来,联邦学习因其在医疗、金融等领域的广泛应用而备受关注。然而,随着技术的不断发展,学术界也提出了多种针对联邦学习框架的攻击手段。本文对联邦学习领域中常见的攻击方法进行了系统性分析与分类。通过对现有攻击方法的不同属性进行深入研究,本文提出了基于攻击特性的分类策略,并基于这一分类策略对已有攻击方法进行了全面的总结、归纳和介绍。例如,根据攻击方法的目标性质,本文将其划分为模型污染,数据污染攻击、成员推理,重建推理攻击等类别。此外,为了解决这些漏洞,学术界在联邦学习框架内提出了多种防御策略。针对现有的多种攻击模型,本文还总结了一系列防御策略。这些防御策略主要基于防御原理,包括鲁棒聚合、模型对抗,差分隐私方法以及同态加密、多方计算等技术。通过系统地总结和分析现有的防御模型,本文不仅为理解现有防护机制提供了清晰的框架,也为未来研究方向提供了新的思路。例如,如何在有限资源条件下实现不同粒度的防御策略,如何在压缩通信量的同时保持模型训练效果的提升,以及将非监督学习应用到联邦学习等问题均成为未来值得深入探索的研究方向。

关键词：联邦学习隐私攻击机器学习

来源：评论

学校读者我要写书评

暂无评论

基于杀伤链模型的PLC安全分析

引用

信息安全学报 2025年第02期 139-162页

作者：孙越游建舟宋站威黄文军陈曦孙利民中国科学院信息工程研究所物联网信息安全技术北京市重点实验室中国科学院大学网络空间安全学院北京大学软件与微电子学院

可编程逻辑控制器(Programmable Logic Controller, PLC)是现代工业控制系统中至关重要的组成部分,其安全性对于维持工业过程的安全和连续运行至关重要。然而,由于PLC特殊的系统架构和通信协议,缺乏针对其安全性分析的标准框架和程序。... 详细信息

可编程逻辑控制器(Programmable Logic Controller, PLC)是现代工业控制系统中至关重要的组成部分,其安全性对于维持工业过程的安全和连续运行至关重要。然而,由于PLC特殊的系统架构和通信协议,缺乏针对其安全性分析的标准框架和程序。网络杀伤链(CyberKillChain)模型是一种被广泛应用于描述入侵者利用漏洞的策略和技术的方法论,并已被广泛应用于网络安全领域。本文基于杀伤链模型总结了近年来PLC安全攻防技术,旨在为网络安全从业者提供技术参考,并协助研究人员了解最新进展。首先,我们介绍了PLC的基本架构、工作原理和通信协议,这对于分析PLC的漏洞和攻击至关重要。然后,我们使用杀伤链模型对各种PLC攻击技术进行了详细分类。具体而言,我们将PLC攻击技术分为侦查识别、武器构建、载荷投递、漏洞利用、隐蔽驻留、远程控制和目的实现七个阶段。对于每个阶段,我们详细分析了攻击者使用的技术。我们的分析有助于全面了解攻击的各个阶段,并可帮助开发主动的安全措施。除了对PLC攻击技术的详细分析,本文还讨论了多种PLC防御技术,包括协议安全保护、控制程序验证、执行过程监控和PLC取证技术。通过总结这些方法,我们希望为网络安全从业者提供实用的指导,更好地保护PLC免受威胁。此外,我们从不同的角度,如嵌入式设备、工业控制器和工业控制网络组件等,突出了当前PLC安全领域的研究趋势,这可以作为未来研究的路线,增强关键基础设施的安全防护。

关键词： PLC安全工控系统安全杀伤链模型 PLC攻击技术 PLC防御技术

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：