联邦原型学习的特征图中毒攻击和双重防御机制 被引量：2

1

作者 王瑞锦 王金波 +3 位作者 张凤荔 李经纬 李增鹏 陈厅 《软件学报》 北大核心 2025年第3期1355-1374,共20页

联邦学习是一种无需用户共享私有数据、以分布式迭代协作训练全局机器学习模型的框架.目前流行的联邦学习方法FedProto采用抽象类原型(称为特征图)聚合,优化模型收敛速度和泛化能力.然而,该方法未考虑所聚合的特征图的正确性,而错误的... 联邦学习是一种无需用户共享私有数据、以分布式迭代协作训练全局机器学习模型的框架.目前流行的联邦学习方法FedProto采用抽象类原型(称为特征图)聚合,优化模型收敛速度和泛化能力.然而,该方法未考虑所聚合的特征图的正确性,而错误的特征图可能导致模型训练失效.为此,首先探索针对FedProto的特征图中毒攻击,论证攻击者只需通过置乱训练数据的标签,便可将模型的推测准确率至多降低81.72%.为了抵御上述攻击,进一步提出双重防御机制,分别通过全知识蒸馏和特征图甄别排除错误的特征图.基于真实数据集的实验表明,防御机制可将受攻击模型的推测准确率提升1-5倍,且仅增加2%系统运行时间. 展开更多

关键词 联邦学习 数据异构 知识蒸馏 特征图中毒攻击 双重防御机制

在线阅读 下载PDF 职称材料

新兴软件与系统的可信赖性与安全专题前言

2

作者 向剑文 陈厅 +1 位作者 杨珉 周俊伟 《软件学报》 北大核心 2025年第7期2927-2928,共2页

随着人工智能技术的发展,特别是通用人工智能的快速发展,新兴软件与系统快速智能化,同时带来巨大的复杂性和不确定性,其可靠性与安全挑战更加复杂多样,涉及面更广,风险更难以预测和控制.一方面,这种复杂性和不确定性给新兴软件与系统本... 随着人工智能技术的发展,特别是通用人工智能的快速发展,新兴软件与系统快速智能化,同时带来巨大的复杂性和不确定性,其可靠性与安全挑战更加复杂多样,涉及面更广,风险更难以预测和控制.一方面,这种复杂性和不确定性给新兴软件与系统本身的可靠性与稳定性带来巨大的挑战. 展开更多

关键词 不确定性 安全性 可信赖性 复杂性 新兴软件

在线阅读 下载PDF 职称材料

基于结构感知图神经网络的多类别漏洞检测

3

作者 曹思聪 孙小兵 +6 位作者 薄莉莉 吴潇雪 李斌 陈厅 罗夏朴 张涛 刘维 《软件学报》 北大核心 2025年第11期5045-5061,共17页

软件漏洞威胁着现实世界系统的安全.近年来,基于学习的漏洞检测方法(尤其是基于深度学习的方法)由于其从大量漏洞样本中挖掘隐式漏洞特征的显著优势,得到了广泛的研究.然而,由于不同类型漏洞之间的特征差异和数据分布不平衡问题,现有基... 软件漏洞威胁着现实世界系统的安全.近年来,基于学习的漏洞检测方法(尤其是基于深度学习的方法)由于其从大量漏洞样本中挖掘隐式漏洞特征的显著优势,得到了广泛的研究.然而,由于不同类型漏洞之间的特征差异和数据分布不平衡问题,现有基于深度学习的漏洞检测方法难以准确识别具体的漏洞类型.因此,提出一种基于深度学习的多类型漏洞检测方法MulVD.MulVD构建了一种新型的结构感知图神经网络(SA-GNN),它可以自适应地为不同类型的漏洞提取局部典型的漏洞模式,并在不引入噪声的情况下重新平衡数据分布.检验所提方法在二分类和多分类漏洞检测任务中的有效性.实验结果表明,MulVD显著提高了现有基于深度学习的漏洞检测技术的性能. 展开更多

关键词 漏洞检测 注意力机制 图神经网络 多类别分类

在线阅读 下载PDF 职称材料

方型柱面贴附置换通风模式影响因素分析 被引量：1

4

作者 尹海国 李安桂 +2 位作者 刘志永 孙翼翔 陈厅 《西安建筑科技大学学报（自然科学版）》 CSCD 北大核心 2016年第4期593-600,共8页

为了有效利用建筑空间中量大面广的柱体,为建筑提供一种高效、舒适的通风模式,提出了一种基于方型柱面的新型贴附置换通风技术.采用实验验证后的RSM-IP模型,对不同送风温度和速度下房间温度场和速度场分布进行了数值模拟研究,同时分析... 为了有效利用建筑空间中量大面广的柱体,为建筑提供一种高效、舒适的通风模式,提出了一种基于方型柱面的新型贴附置换通风技术.采用实验验证后的RSM-IP模型,对不同送风温度和速度下房间温度场和速度场分布进行了数值模拟研究,同时分析了方柱宽度、柱子跨度和排风口位置对该通风模式的影响.研究表明,方型柱面贴附通风模式兼具混合通风与置换通风的优点,通过送风速度和温度等参数的合理设置,该通风模式能够在现有建筑、特别是大空间建筑通风空调系统中实地应用. 展开更多

关键词 通风 气流组织 方柱面贴附 数值模拟

在线阅读 下载PDF 职称材料

系统与网络软件安全专题前言

5

作者 向剑文 陈厅 +2 位作者 王浩宇 罗夏朴 杨珉 《软件学报》 EI CSCD 北大核心 2024年第8期3551-3552,共2页

近年来,随着移动通信、云计算、人工智能、区块链等技术的快速发展,传统系统软件与网络应用被赋予新特性和新场景,新兴系统软件与网络应用也不断涌现.与此同时,各类系统攻击、网络犯罪等安全问题频繁发生,给社会和国家安全带来了极大的... 近年来,随着移动通信、云计算、人工智能、区块链等技术的快速发展,传统系统软件与网络应用被赋予新特性和新场景,新兴系统软件与网络应用也不断涌现.与此同时,各类系统攻击、网络犯罪等安全问题频繁发生,给社会和国家安全带来了极大的危害. 展开更多

关键词 网络软件 网络应用 人工智能 区块链 云计算 系统软件 网络犯罪 移动通信

在线阅读 下载PDF 职称材料

基于节点失效的洋葱路由匿名链路控制方法 被引量：5

6

作者 卓中流 张小松 +2 位作者 李瑞杏 陈厅 张景中 《计算机应用》 CSCD 北大核心 2015年第10期2843-2847,共5页

针对洋葱路由(Tor)随机选路算法选取的通信路径不可控制,进而导致匿名技术滥用和溯源方法失效的问题,提出了一种基于节点失效的Tor匿名链路控制方法。通过发送伪造的TCP复位信息模拟节点失效,从而不断让Tor客户端重新选路,并最终选择到... 针对洋葱路由(Tor)随机选路算法选取的通信路径不可控制,进而导致匿名技术滥用和溯源方法失效的问题,提出了一种基于节点失效的Tor匿名链路控制方法。通过发送伪造的TCP复位信息模拟节点失效,从而不断让Tor客户端重新选路,并最终选择到受控链路,来达到有效链路控制的目的。对Tor网络选路算法的理论分析和在拥有256个洋葱路由组成的私有Tor网络中的实际测试结果表明,与传统部署高带宽路由吸引用户选中受控节点的方法相比,该方法在Tor客户端默认开启入口守卫的情况下,将传统方法选择受控入口节点的概率由4.8%提高到约60%。实验结果表明,随着受控链路长度的增大,链路建立的成功率会降低,因此所提方法适用于控制较短链路的情形。 展开更多

关键词 洋葱路由 选路算法 节点失效 受控节点 匿名链路

在线阅读 下载PDF 职称材料

面向嵌入式CGI的内存破坏漏洞挖掘研究 被引量：2

7

作者 王东 张小松 陈厅 《电子科技大学学报》 EI CAS CSCD 北大核心 2020年第5期745-750,共6页

AFL-CGI-wrapper(ACW)是桌面CGI程序的漏洞自动挖掘方法,其利用QEMU仿真器执行二进制CGI来实施模糊测试。但在嵌入式设备中直接应用ACW进行CGI漏洞挖掘会面临两个难题:1)固定输入模型难以应对嵌入式设备的多样性;2)主模块跟踪难以覆盖... AFL-CGI-wrapper(ACW)是桌面CGI程序的漏洞自动挖掘方法,其利用QEMU仿真器执行二进制CGI来实施模糊测试。但在嵌入式设备中直接应用ACW进行CGI漏洞挖掘会面临两个难题:1)固定输入模型难以应对嵌入式设备的多样性;2)主模块跟踪难以覆盖依赖外部调用的分支路径,导致漏洞挖掘效率低下。针对这两个问题,一种基于反馈的惰性输入模型和选择性外部函数跟踪被提出,并在原型系统BCFuzzer中实现。最后使用实际的嵌入式CGI程序集进行了实验,结果表明相比现有方法,其能自动探索更多的代码路径,也能更快地发现更多未知漏洞。 展开更多

关键词 覆盖率驱动 嵌入式设备 模糊测试 漏洞挖掘

在线阅读 下载PDF 职称材料

智能合约Gas优化综述 被引量：3

8

作者 宋书玮 倪孝泽 陈厅 《计算机研究与发展》 EI CSCD 北大核心 2023年第2期311-325,共15页

区块链2.0最显著的特征是增加了对智能合约的支持,这使得区块链拥有了运行各种应用程序的能力.智能合约是一种根据预先定义的代码逻辑自动运行的计算机软件.区别于传统软件,区块链技术赋予了智能合约不依赖可信中心机构而在相互不信任... 区块链2.0最显著的特征是增加了对智能合约的支持,这使得区块链拥有了运行各种应用程序的能力.智能合约是一种根据预先定义的代码逻辑自动运行的计算机软件.区别于传统软件,区块链技术赋予了智能合约不依赖可信中心机构而在相互不信任的节点上正确执行的能力,使其在数字支付、共享经济等领域被广泛地应用.为了防止滥用智能合约导致计算资源被浪费,以太坊等区块链向部署和执行智能合约这2种活动收取Gas(燃料)费用.智能合约消耗的计算资源是决定费用高低的因素.具有低效代码的智能合约浪费资源且易受攻击,此类智能合约的开发者和用户将承担不必要的费用.因此,优化智能合约以节省资源已经成为开发者和研究者重点关注的问题.首先详细分析了智能合约Gas优化所面临的主要挑战;然后回顾和总结了近年来提出的各种优化技术;最后展望了该研究方向的未来工作,旨在为智能合约的开发者和研究人员提供参考和借鉴. 展开更多

关键词 区块链 智能合约 Gas优化 代码效率 软件分析

在线阅读 下载PDF 职称材料

DEALS——追踪代币转账信息不一致

9

作者 姜人楷 宋书玮 +4 位作者 罗夏朴 陈厅 罗瑞杰 王炳森 乔翱 《计算机研究与发展》 EI CSCD 北大核心 2024年第2期274-288,共15页

区块链使传统的交易所和借贷机构能够扩展到去中心化平台(decentralized platform,Depl),任何人都可以在没有中介机构帮助的情况下进行交易和借贷.大多数Depl都是作为运行在以太坊上的智能合约实现的,并与另一种智能合约、加密货币(即代... 区块链使传统的交易所和借贷机构能够扩展到去中心化平台(decentralized platform,Depl),任何人都可以在没有中介机构帮助的情况下进行交易和借贷.大多数Depl都是作为运行在以太坊上的智能合约实现的,并与另一种智能合约、加密货币(即代币)交互,以实现各种功能.尽管Depl涉及价值超过350亿的美元,但人们对代币的实际转移是否如Depl预期的那样一致知之甚少.代币的实际转移与Depl期望的不一致被称为行为不一致,这种不一致的出现将导致财产的损失和用户的质疑.在这项工作中,我们迈出了调查Depl和代币之间的这种不一致的第一步.我们提出通过监控Depl和代币的核心数据结构变化,将实际的代币转移行为与Depl内部记录指示的行为进行比较,自动检测不一致.实验结果表明,在1 012 749笔交易中存在不一致行为,涉及2 871对Depl和代币,与110个Depl和2 544个代币相关.实验结果的精准度为98.0%.此外,还总结了导致不一致的10大原因,例如诈骗Depl、Depl与代币尺度不一致、锁币规则不明确等. 展开更多

关键词 区块链 去中心化平台 代币 行为不一致 自动检测

在线阅读 下载PDF 职称材料

2021年度NSFC人工智能学科基金项目申请资助情况及学科发展展望 被引量：6

10

作者 吴国政 肖斌 +1 位作者 赵瑞珍 陈厅 《智能系统学报》 CSCD 北大核心 2021年第6期1166-1171,共6页

对2021年度国家自然科学基金委员会信息科学部二处人工智能(F06)代码下部分基金项目的申请与资助情况进行了统计和说明,统计和分析了F06代码下面上、青年科学基金和地区科学基金项目申请与资助依托单位分布情况、二级代码分布和项目科... 对2021年度国家自然科学基金委员会信息科学部二处人工智能(F06)代码下部分基金项目的申请与资助情况进行了统计和说明,统计和分析了F06代码下面上、青年科学基金和地区科学基金项目申请与资助依托单位分布情况、二级代码分布和项目科学属性分类评审试点情况,并对2021年度人工智能学科基金项目部分评审原则与举措进行了介绍。最后对人工智能学科进行了简单总结和展望。 展开更多

关键词 青年科学基金 信息科学部 基金项目 资助情况 人工智能学科 NSFC 评审原则 试点情况

在线阅读 下载PDF 职称材料

基于UPLC-Q-TOF-MS/MS和网络药理学探究尖尾芋抗乳腺癌作用机制 被引量：1

11

作者 王鹏 陈娅 +4 位作者 彭兰淳 郑青竹 陈厅 彭江丽 彭求贤 《天然产物研究与开发》 CAS CSCD 北大核心 2024年第4期675-693,共19页

本研究通过UPLC-Q-TOF-MS/MS技术、网络药理学策略探究尖尾芋石油醚部位抗乳腺癌药效物质基础及作用机制,并通过4T1乳腺癌荷瘤小鼠模型验证尖尾芋石油醚部位(petroleum ether fraction of Alocasia cucullata,EAC)体内抗乳腺癌作用及机... 本研究通过UPLC-Q-TOF-MS/MS技术、网络药理学策略探究尖尾芋石油醚部位抗乳腺癌药效物质基础及作用机制,并通过4T1乳腺癌荷瘤小鼠模型验证尖尾芋石油醚部位(petroleum ether fraction of Alocasia cucullata,EAC)体内抗乳腺癌作用及机制。基于UPLC-Q-TOF-MS/MS数据获取EAC化学成分41个,包括11种芳香类成分、8种萜类成分、5种生物碱类成分、4种脂肪酸类成分、2种香豆素类成分和11种其他类成分;基于鉴定出的化合物通过网络药理学得到556个潜在作用靶点;蛋白互作网络(PPI)分析发现MAPK1、Bcl-2等10个核心靶点,富集分析发现核心靶点可能通过MAPK、PI3K-Akt等细胞凋亡相关信号通路发挥抗乳腺癌作用,并通过分子对接技术验证了毛地黄毒苷配基等活性成分与细胞凋亡相关蛋白pERK、Bcl-2、Bax具有良好的结合能力。抗乳腺癌活性研究结果表明与模型对照组比较,EAC低、中、高剂量组肿瘤生长趋势渐缓,肿瘤质量减少,抑瘤率逐渐增加;EAC中、高剂量组脾脏指数有显著性差异,EAC低剂量组脾脏指数效果不显著(P<0.05);HE染色观察到给药组肿瘤组织中细胞排列疏松,轮廓不清晰。ELISA法检测小鼠血清,发现EAC高、中剂量组、5-氟尿嘧啶阳性对照组的IL-1β、TNF-α含量均降低。动物验证实验结果表明不同浓度EAC均能下调MAPKs信号通路中p-ERK蛋白的表达(P<0.01),而对ERK、JNK、p-38、p-JNK、p-p38蛋白水平无显著性差异;EAC能显著升高小鼠乳腺癌组织中Bax/Bcl-2蛋白水平和基因表达水平。综上,尖尾芋石油醚部位能下调p-ERK蛋白水平,促进癌细胞凋亡从而抑制4T1乳腺癌荷瘤小鼠肿瘤的生长。 展开更多

关键词 尖尾芋 石油醚部位 抗乳腺癌活性 化学成分 网络药理学 MAPKS信号通路

在线阅读 下载PDF 职称材料