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

计算机集成制造系统 2025年第4期31卷 1337-1345页

作者：李东庭康海燕北京信息科技大学计算机学院北京102206 未来区块链与隐私计算高精尖创新中心北京100191

为了解决工业大数据共享时,中间参数的隐私泄露以及恶意节点上传低质量模型的问题,结合目前较为火热的长安链,提出了基于蜂群学习的工业大数据共享方法。首先构建蜂群学习架构;其次将数据按照用户维度和用户特征维度进行划分;对用户维... 详细信息

为了解决工业大数据共享时,中间参数的隐私泄露以及恶意节点上传低质量模型的问题,结合目前较为火热的长安链,提出了基于蜂群学习的工业大数据共享方法。首先构建蜂群学习架构;其次将数据按照用户维度和用户特征维度进行划分;对用户维度重复度低而特征维度重复度高的数据提出了基于横向蜂群学习的工业大数据共享算法,对用户维度重复度高而特征维度重复度低的数据提出了基于纵向蜂群学习的工业大数据共享算法;最后构造了一个评分方法,将节点训练好的模型通过评分方法进行评分,服务器最终选择出评分较高的模型进行整合。通过多次实验后验证了所提方法不仅能够防止学习过程中泄露中间参数的隐私,还能增强参与联邦学习过程的节点之间的互相信任,从而实现一个可信的联邦学习模型,增强其隐私保护。

关键词：隐私保护区块链蜂群学习联邦学习

来源：评论

学校读者我要写书评

暂无评论

基于T5模型的智能合约漏洞修复研究

引用

计算机科学 2025年第4期52卷 362-368页

作者：焦健陈瑞翔贺强渠开洋张子怡北京信息科技大学计算机学院北京102206 北京信息科技大学未来区块链与隐私计算高精尖创新中心北京102206 中国信息安全测评中心北京100193

针对以太坊智能合约漏洞修复问题,目前的研究主要集中在人工定义模板的方法上。此方法需要开发者具备丰富的专业知识,面对复杂漏洞时修复效果较差。在Solidity智能合约源代码层面,围绕智能合约的漏洞修复技术开展研究。引入机器学习的... 详细信息

针对以太坊智能合约漏洞修复问题,目前的研究主要集中在人工定义模板的方法上。此方法需要开发者具备丰富的专业知识,面对复杂漏洞时修复效果较差。在Solidity智能合约源代码层面,围绕智能合约的漏洞修复技术开展研究。引入机器学习的漏洞修复方式,设计并实现一个T5模型智能合约漏洞修复系统,解决人工依赖的问题。利用数据爬虫技术和数据增强技术,构建相应T5模型训练数据集。利用机器学习技术,训练智能合约漏洞修复T5模型。通过网络爬虫构建了一个测试数据集,对所提系统进行多角度的性能评估。在合约修复准确率、gas消耗和引入代码量等方面,与TIPS,SGUARD和Elysium等合约漏洞修复工具进行对比。实验结果表明,所提系统修复效果良好,整体性能优于其他漏洞修复工具。

关键词：智能合约区块链 T5模型机器学习漏洞修复

来源：评论

学校读者我要写书评

暂无评论

国密SM4算法CBC模式的高效设计与实现

引用

计算机研究与发展 2024年第6期61卷 1450-1457页

作者：郝泽钰代天傲黄亦成段岑林董进吴世勇张博王雪岩贾小涛杨建磊北京航空航天大学计算机学院北京100191 北京市未来区块链与隐私计算高精尖创新中心北京100191 北京微芯区块链与边缘计算研究院北京100080

密码技术是现代信息安全技术产业发展的核心,其中,国密SM4分组密码算法因其硬件实现简单、效率高等优点,已广泛应用于加密传输、加密存储等领域.随着应用领域的不断扩展,对硬件加密效率的需求也随之提高.目前,借助流水线技术,基于ASIC... 详细信息

密码技术是现代信息安全技术产业发展的核心,其中,国密SM4分组密码算法因其硬件实现简单、效率高等优点,已广泛应用于加密传输、加密存储等领域.随着应用领域的不断扩展,对硬件加密效率的需求也随之提高.目前,借助流水线技术,基于ASIC实现的SM4算法在ECB(electronic code book)工作模式下能够达到较高的吞吐量.然而,在CBC(cipher block chaining)模式下,由于相邻的数据存在依赖关系,流水线技术难以提高硬件设计的吞吐率.为解决这一问题,提出了2种逻辑化简方法:一种作用于轮函数迭代过程,另一种作用于S盒置换过程.这2种方法在每一轮迭代的关键路径中均减少了2个异或运算的延时.在TSMC 40 nm工艺下的ASIC综合结果表明,该设计在CBC模式下的吞吐率达到4.2 Gb/s,单位面积吞吐量达129.4 Gb·s^(-1)·mm^(-2),高于已发表的同类设计.

关键词：国密SM4算法 CBC模式硬件加速高效设计 ASIC

来源：评论

学校读者我要写书评

暂无评论

共振攻击:揭示跨模态模型CLIP的脆弱性

引用

计算机学报 2023年第12期46卷 2597-2611页

作者：陈天宇周号益何铭睿仉尚航闫坤周萌萌李建欣北京市大数据科学与脑机智能高精尖中心北京100191 北京航空航天大学计算机学院北京100191 北京航空航天大学软件学院北京100191 中关村实验室北京北京大学计算机学院北京100871 北京微芯区块链与边缘计算研究院北京100080 未来区块链与隐私计算高精尖创新中心北京100191

视觉-语言跨模态领域已广泛采用预训练模型进行建模和分析.特别是OpenAI最近提出了一种称为CLIP(Contrastive Language-Image Pre-training)的视觉-语言对比式预训练模型.但是,CLIP使用的跨模态预训练方法可能会使不受信任的模型在不同... 详细信息

视觉-语言跨模态领域已广泛采用预训练模型进行建模和分析.特别是OpenAI最近提出了一种称为CLIP(Contrastive Language-Image Pre-training)的视觉-语言对比式预训练模型.但是,CLIP使用的跨模态预训练方法可能会使不受信任的模型在不同模态下隐藏后门.这种后门可能在用户下载预训练模型并在下游任务上对其进行微调时构成安全威胁.本研究提出了一种新型跨模态后门攻击方法,即共振攻击.共振攻击能使跨模态嵌入表征空间易受到隐藏在视觉或文本输入中的触发器扰动,导致模型失效.共振攻击不依赖于对下游任务的先验知识,通过在对比学习预训练阶段后增加共振学习预训练阶段,可以将触发器植入预训练的CLIP模型中.被攻击的模型只有在触发器使用时才会失效,否则仍可正常运行.在三个下游任务的实验中,共振攻击均获得了30%以上的攻击性能提升,并取得了低于10%的隐蔽性能指数.

关键词：跨模态建模后门攻击对比学习预训练模型迁移学习

来源：评论

学校读者我要写书评

暂无评论

共生网络——异构网络安全高效互联的体系结构与机理

引用

通信学报 2022年第4期43卷 36-49页

作者：罗洪斌张珊王志远北京航空航天大学计算机学院北京100191 北京航空航天大学软件开发环境国家重点实验室北京100191 数学、信息与行为学教育部重点实验室北京100191 未来区块链与隐私计算北京高精尖创新中心北京100191

介绍了共生网络——一种异构体制网络安全高效互联的体系结构与机理。首先,分析了异构网络互联面临的挑战,凝练出了异构网络互联亟须解决的科学问题。然后,分析和研究了异构网络互联而成网络空间的普适表征机理、体系结构模型、基本工... 详细信息

介绍了共生网络——一种异构体制网络安全高效互联的体系结构与机理。首先,分析了异构网络互联面临的挑战,凝练出了异构网络互联亟须解决的科学问题。然后,分析和研究了异构网络互联而成网络空间的普适表征机理、体系结构模型、基本工作机理、跨域安全保障机理等。实验结果表明,共生网络已经形成了部分能力,如防范跨域攻击和数据泄露等。最后,介绍了待进一步解决的问题。

关键词：异构网络网络互联网络体系结构安全高效

来源：评论

学校读者我要写书评

暂无评论

对互联网体系结构创新的认识与思考

引用

电子学报 2024年第4期52卷 1411-1420页

作者：罗洪斌张珊王志远孟晴开北京航空航天大学计算机学院北京100191 北京航空航天大学软件开发环境国家重点实验室北京100191 数学、信息与行为学教育部重点实验室北京100191 未来区块链与隐私计算北京高精尖创新中心北京100191

互联网是促进现代社会经济发展和科技创新的重要信息基础设施;然而,支撑并规范互联网正常运行的关键核心技术——互联网的TCP/IP(Transport Control Protocol/Internet Protocol)体系结构——几十年来几乎保持不变.本文首先从技术自身... 详细信息

互联网是促进现代社会经济发展和科技创新的重要信息基础设施;然而,支撑并规范互联网正常运行的关键核心技术——互联网的TCP/IP(Transport Control Protocol/Internet Protocol)体系结构——几十年来几乎保持不变.本文首先从技术自身弊端、社会发展需求、技术转移周期、科技革命规律四个方面论述了开展互联网体系结构创新的必要性.其次,运用系统科学原理阐明了TCP/IP体系结构弊端的根源.再次,运用系统观念揭示了信息网络的功能本质和网络间的互联本质,发现了信息传递的四个自然属性(对象属性、身份属性、位置属性、手段属性).在此基础上,简要介绍了基于两个本质和四个自然属性开展创新互联网体系结构创新的实例——共生网络.最后,结合共生网络架构展望了部署新型互联网体系结构的总体路径.

关键词：互联网体系结构异构网络网间互联跨域通信

来源：评论

学校读者我要写书评

暂无评论

一种基于Q-learning强化学习的导向性处理器安全性模糊测试方案

引用

北京信息科技大学学报（自然科学版） 2024年第4期39卷 81-87,95页

作者：崔云凯张伟北京信息科技大学计算机学院北京102206 北京市未来区块链与隐私计算高精尖创新中心北京102206 国家经济安全预警工程北京实验室北京102206

针对处理器安全性模糊测试在进行细粒度变异时遗传算法存在一定的盲目性,易使生成的测试用例触发相同类型漏洞的问题,提出了一种基于Q-learning强化学习的导向性处理器安全性模糊测试方案。通过测试用例的状态值和所触发的漏洞类型对应... 详细信息

针对处理器安全性模糊测试在进行细粒度变异时遗传算法存在一定的盲目性,易使生成的测试用例触发相同类型漏洞的问题,提出了一种基于Q-learning强化学习的导向性处理器安全性模糊测试方案。通过测试用例的状态值和所触发的漏洞类型对应的权值构造奖励函数,使用强化学习指导生成具有针对性和导向性的测试用例,快速地触发不同类型的漏洞。在Hikey970平台上的实验验证了基于ARMv8的测试用例生成框架的有效性,并且相较于传统使用遗传算法作为反馈的策略,本文方案在相同时间内生成有效测试用例的的数量多19.15%,发现漏洞类型的数量多80.00%。

关键词：处理器漏洞检测模糊测试 Q-learning强化学习 ARMv8 分支预测类漏洞

来源：评论

学校读者我要写书评

暂无评论

基于区块链和循环链表多分支路径树的完整性验证

引用

北京信息科技大学学报（自然科学版） 2024年第5期39卷 88-94页

作者：冯天浩马利民王佳慧张伟北京信息科技大学计算机学院北京100101 北京未来区块链与隐私计算高精尖创新中心北京100101 国家信息中心信息与网络安全部北京100045

在对云存储数据进行完整性验证时,传统多分支路径树技术中的多次动态操作会造成树的不平衡状态,导致时间开销大、验证效率低。对此,提出了一种新的完整性验证方法,利用区块链结合循环链表和多分支路径树的数据结构,优化了对不平衡状态... 详细信息

在对云存储数据进行完整性验证时,传统多分支路径树技术中的多次动态操作会造成树的不平衡状态,导致时间开销大、验证效率低。对此,提出了一种新的完整性验证方法,利用区块链结合循环链表和多分支路径树的数据结构,优化了对不平衡状态下路径树的平衡方法,提升了数据完整性验证效率。实验结果表明,在多次动态操作后链表长度相差较大的情况下,本文方案在验证数据的完整性时平衡多分支路径树所花费的时间相较于对比方案最多可降低71%。

关键词：云存储区块链完整性验证循环链表多分支路径树

来源：评论

学校读者我要写书评

暂无评论

面向数据联邦的安全多方θ-连接算法

引用

软件学报 2023年第3期34卷 1109-1125页

作者：张媛媛李书缘史烨轩周南徐毅许可软件开发环境国家重点实验室(北京航空航天大学) 北京100191 北京航空航天大学未来区块链与隐私计算高精尖创新中心北京100191 北京航空航天大学计算机学院北京100191 北京航空航天大学人工智能研究院北京100191 北京航空航天大学沈元荣誉学院北京100191

近年来,多个国家地区出台了一系列数据安全相关的法律,例如欧盟的《通用数据保护条例》等.这些相关法律法规的出台,加剧了各企业机构等多方之间数据共享难的数据孤岛问题.数据联邦(data federation)正是解决该问题的可能出路.数据联邦... 详细信息

近年来,多个国家地区出台了一系列数据安全相关的法律,例如欧盟的《通用数据保护条例》等.这些相关法律法规的出台,加剧了各企业机构等多方之间数据共享难的数据孤岛问题.数据联邦(data federation)正是解决该问题的可能出路.数据联邦是指多个数据拥有方在不泄露各自原始数据的前提下,结合安全多方计算等隐私计算技术,联合完成查询任务的计算.这一概念已成为近年来的研究热点,并涌现出一系列相关的代表性系统工作,如SMCQL、Conclave.然而,针对关系数据库系统中核心的连接查询,现有数据联邦系统还存在如下问题:首先,连接种类单一,难以满足复杂连接条件下的查询需求;其次,算法性能低下,由于现有系统往往直接调用安全工具库,其运行时间与通信开销高昂.因此,针对以上问题进行研究,提出了数据联邦下连接算法.主要贡献如下:首先,设计实现了面向多方的联邦安全算子,能够支持多种运算;其次,提出了支持θ-连接的联邦连接算法与优化策略,显著减少了连接查询所需安全计算代价;最后,基于基准数据集TPC-H,验证了该算法的性能.实验结果表明,与现有数据联邦系统SMCQL、Conclave相比,该算法能够将运行时间和通信开销分别降低61.33%和95.26%.

关键词：数据联邦连接查询安全多方计算

来源：评论

学校读者我要写书评

暂无评论

基于传统公钥基础设施的密钥协商性能优化研究

引用

计算机科学与应用 2023年第7期13卷 1409-1419页

作者：吴凡侯凌燕张伟北京信息科技大学计算机学院北京北京信息科技大学北京未来区块链与隐私计算高精尖创新中心北京北京信息科技大学国家经济安全预警工程北京实验室北京

传统基于公钥基础设施的密钥协商算法在支持完美前向保密时,需要频繁的密钥协商,且协商步骤复杂,还使用了耗时的非对称密钥算法,性能消耗严重,不适用于资源有限的嵌入式设备中。针对以上问题,本文优化了传统公钥基础设施密钥协商方案,... 详细信息

传统基于公钥基础设施的密钥协商算法在支持完美前向保密时,需要频繁的密钥协商,且协商步骤复杂,还使用了耗时的非对称密钥算法,性能消耗严重,不适用于资源有限的嵌入式设备中。针对以上问题,本文优化了传统公钥基础设施密钥协商方案,密钥信息不需要频繁通过网络交换,而是双方在本地动态生成密钥,保证了每次加密密钥不同,支持了完美前向保密的特性。实验结果表明,优化后的密钥协商方案性能相比于基于传统公钥基础设施的密钥协商方案显著提升。

关键词：公钥基础设施密钥协商完美前向保密

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：