区块链智能合约脆弱性的识别和定位问题研究

来源 :合肥工业大学 | 被引量 : 0次 | 上传用户:walker1234
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
区块链技术独有的去中心化、公开透明、集体维护、不可伪造、不可篡改等特性为构建价值互联平台提供了可能,区块链技术的研究与应用也逐渐被很多学者和科研人员重视,并呈现出爆发式增长态势,其中智能合约的产生是区块链历史上的一个里程碑式的事件。智能合约是部署在区块链网络上的代码,并以透明和去中心化的方式自动执行事务,一旦部署,智能合约不可更改,在合同执行过程中几乎没有任何补救措施可以用来处理代码错误。为了提高智能合约的安全性,减少恶意攻击给智能合约所带来的损失,本文基于深度学习技术,研究区块链智能合约脆弱性的识别和定位问题。主要研究内容如下:(1)针对基于智能合约字节码的脆弱性检测问题,提出了一个双重注意力图卷积网络(Dual Attention Graph Convolutional Network,DA-GCN)。首先通过字节码生成智能合约的属性,包括控制流图和操作码序列,其次采用图卷积模块和双重注意力模块分别对控制流图和操作码序列进行特征提取,最后通过由多层感知机构成的分类模块对智能合约的脆弱性漏洞进行识别。在真实的以太坊智能合约数据集上进行实验,结果表明本文所提出的模型DA-GCN可以有效地提高智能合约脆弱性漏洞识别的准确率、精确度、召回率和调和平均数性能。(2)针对基于智能合约源代码的脆弱函数定位问题,提出了一种更能反映智能合约代码控制流和数据流的图结构——多关系嵌套合约图(Multi-Relational Nested Contract Graph)和一种能处理该图的多关系嵌套图卷积神经网络模型(MultiRelational Nested Graph Convolutional Network,MRN-GCN)。所提出的嵌套合约图中的节点和边分别代表智能合约中的函数以及函数间的调用关系,每个节点包含一张对应的多关系函数图,每个多关系函数图使用不同类型的边来对函数内两相邻语义节点的控制关系和数据流进行表征,从而有助于神经网络更好地理解智能合约代码。所提出的多关系嵌套图卷积神经网络MRN-GCN方法首先对合约中每个函数对应的多关系函数图使用边增强的图卷积网络和自注意力机制进行特征提取和聚合,以获得各函数的特征向量,并将此特征向量赋给合约图中各节点,从而得到一个新的特征合约图。其次使用图卷积网络对特征合约图进行处理,进一步提取整个合约的特征。最后通过前馈神经网络和Sigmoid函数实现脆弱函数的定位。在真实的以太坊智能合约数据集上进行实验,结果表明模型MRN-GCN能有效提高智能合约脆弱函数定位的准确率、精确度、召回率和调和平均数性能。
其他文献
偏好补全已经被广泛应用到多个领域,如社交选择、推荐系统等。显然,在这些领域中,每个用户只有针对部分项目的排序,而让用户提供一份针对所有项目的完整的排序很多时候是不现实的。偏好补全的目标是利用所有人的不完整的偏好排序来推断出每个人的针对所有项目的一份完整的偏好排序。本文的主要工作如下:(1)针对现有的偏好补全方法由于偏好排序噪音的存在导致算法的准确性低的问题,本文提出了基于确定性的偏好补全算法。首先
学位
近年来,强化学习方法被广泛用于多智能体领域。多智能体中任务复杂,可能在任务结束时才能获得环境的反馈,造成奖励稀疏的问题。受人类好奇心的启发,单智能体中解决稀疏奖励问题的一种思路是通过内在奖励促进智能体探索新颖状态,因为多智能体联合状态空间巨大,简单的将这种思路扩展到多智能体中容易造成过度探索而不能学习任务,且这种方法利用智能体观测学习状态特征不适合部分可观测环境。针对上述问题,本文基于内在动机强化
学位
片上网络(Network-on-Chip,No C)作为新型通信架构,具备良好的可扩展性和并行性,可以满足片上日益增长的通信需求,已经成为片上多核系统事实上的标准。在片上网络的设计中,如何避免数据包路由死锁,是保障通信架构可靠性的核心问题。片上网络死锁避免领域的相关工作大都是在Dally的理论基础上发展起来的。该理论认为,如果网络的通道依赖图上没有循环依赖,网络就是无死锁的。然而,找到这样的无环图
学位
片上网络(Network-on-Chip,NoC)现在广泛应用于多核系统当中。近几年,基于NoC的深度神经网络(Deep Neural Network,DNN)加速器被提出,它将神经元计算设备通过NoC相连。该设计能够有效地减少加速器对片外存储的访问,从而降低加速器的分类延迟和功耗。然而,在基于NoC的深度神经网络加速器当中存在着大量的一对多流量,传统的解决方式是使用单播方式传递多个相同的数据包副
学位
雷达作为检测飞行目标的最主要手段,在飞行目标的研究中发挥着不可比拟的优势。由于多雷达融合系统的不断发展,传统的针对多传感器航迹关联和中断航迹关联的算法已经难以应对当前越来越复杂、越来越多样的雷达探测环境。为了更好地挖掘雷达航迹信息,利用航迹信息认知空间态势,从而为空域的监管提供有效的支持,本文基于深度学习技术,分别进行了多传感器航迹关联和中断航迹关联问题研究,主要研究内容如下:(1)提出了一种基于
学位
多变量时间序列(MTS:multivariate time series)数据是多个变量在一段时间内按照一定时间间隔记录的观测值数据。MTS聚类可以在缺乏先验知识的情况下将样本划分成有意义的簇,是一种广泛应用于金融分析、流量预测、临床诊断等领域的关键技术。MTS具有模式复杂、时间顺序、变量之间存在相关性等特性,如何利用这些特性提升MTS聚类效果具有重大理论和应用价值。受图嵌入技术在各领域的优异表现
学位
因果特征选择旨在学习类变量的马尔可夫毛毯(Markov blanket,MB)。类变量的MB意味着类变量和它的MB之间存在潜在的因果关系,以类变量的MB为条件,所有其它特征在概率上独立于该类变量,这使得因果特征选择能够识别潜在的因果特征用于特征选择,以构建健壮、可解释的预测模型,并且在理论上,类别变量的MB已经被证明是特征选择的最优特征子集。当前的因果特征选择算法主要处理没有缺失值的数据,然而缺失
学位
隧道内行驶车辆的实时位置,无论对行驶的车辆自身还是对隧道车流量分析、隧道交通事故分析以及预警等都有重要的使用价值。但因为隧道环境容易遮挡GPS信号,故无法在隧道内获取到车辆的实时位置。解决这一问题的关键在于研制一套专用的隧道车辆定位系统。整个系统运行机制是,通过车载的Tag定位标签与隧道两旁部署的Anchor基站进行数据通信,进而通过相关的定位求解算法将数据汇总运算,最终求得车载Tag的实时位置信
学位
视觉问答任务要求深入理解视觉和文本内容,从而获取关键信息以更好地回答问题。许多研究已经证实,改进多模态特征提取、对齐和融合以获得更准确和更丰富的全局特征,成为视觉问答任务的重要研究方向。该方向的核心是如何将提取到的图像特征及问题特征正确的对齐,从而提高视觉-文本语义对齐性。为了提升多模态特征的对齐性,本文对视觉问答的视觉-文本语义对齐算法展开研究。本文的主要工作如下:(1)目前大多数基于注意力机制
学位
多标签分类旨在求解每个实例同时与多个类标签相关联的问题。然而,已有多标签分类方法大多利用统一特征表示的实例进行分类任务。由于每个标签都具有其自身特点,应为每个标签找寻其最相关、最有辨别力的特征即标签特定特征,用于该标签的分类。此外,实际应用中的训练数据常存在特征缺失的情况。因此,如何在特征缺失的环境下为每个标签抽取标签特定特征成为多标签分类方法研究的重要任务之一。为此,本文主要针对标签特定特征与特
学位