【摘 要】
：
目前智能合约漏洞检测技术手段单一,多数方法只针对合约的源代码,鲜有面向智能合约其他类型的安全检测.本文在仅给定智能合约二进制代码的情况下,针对最高频的可重入漏洞、委托调用漏洞和时间戳依赖漏洞,设计并实现了一种基于关键路径的智能合约漏洞检测方法.基于合约字节码构建智能合约执行控制流图;根据智能合约漏洞特点定义关键指令及规则,生成关键路径;最后采用规则匹配实现漏洞检测.通过对以太坊网络上8000个智能合约进行实验测试,结果表明:该方法可有效检测上述3类漏洞,准确度高达93.75％.
【机 构】
：
哈尔滨工程大学 计算机科学与技术学院,黑龙江 哈尔滨150001;国家工业信息安全发展研究中心,北京100040
论文部分内容阅读
目前智能合约漏洞检测技术手段单一,多数方法只针对合约的源代码,鲜有面向智能合约其他类型的安全检测.本文在仅给定智能合约二进制代码的情况下,针对最高频的可重入漏洞、委托调用漏洞和时间戳依赖漏洞,设计并实现了一种基于关键路径的智能合约漏洞检测方法.基于合约字节码构建智能合约执行控制流图;根据智能合约漏洞特点定义关键指令及规则,生成关键路径;最后采用规则匹配实现漏洞检测.通过对以太坊网络上8000个智能合约进行实验测试,结果表明:该方法可有效检测上述3类漏洞,准确度高达93.75％.
其他文献
1技术概况n我国联合钢铁企业轧钢工序钢坯加热绝大多数采用蓄热式加热炉,加热炉燃烧过程中,左右两侧蓄热式烧嘴在燃烧状态与排烟状态之间高频率( 40～90s)切换.由蓄热燃烧换向原理可知,蓄热式烧嘴每次由燃烧状态切换至排烟状态时,共用管道内均有一管煤气无法进入炉膛燃烧,而是在排烟风机抽力作用下,随排烟反向流动,经烟囱放散至大气中.
介绍了Ti-IF钢的冶炼过程.结合钒钛磁铁矿高炉铁水的特征,以生产高品质IF钢为目标,优化确定了高炉-铁水脱硫-转炉提钒-转炉冶炼-氩气搅拌-LF精炼-RH真空处理-连铸的冶炼工艺流程.通过制定脱硫、脱磷、转炉终点控制、顶渣改质及RH深脱碳等工艺操作方针,所生产的产品达到行业先进水平,为大批量生产高质量低碳钢提供了借鉴.
针对焊接数值模拟的体单元模型计算效率低和壳单元模型计算精度低的问题,本文提出了一种焊接过程数值模拟的Shell-Solid单元混合建模方法.以平板对接焊为例,分别采用Shell单元、Solid单元和Shell-Solid单元混合建模,开展了焊接温度场和结构热力耦合响应的数值模拟,对比分析了温度场、应力场及计算效率.结果表明:混合模型既保证了焊接温度场和结构响应的计算精度,又保证了计算效率,是一种值得深入研究的焊接模拟建模方法.
为了分析制荡板结构、布置、通透率及液位高度对独立C型液化天然气液舱制性能的影响,本文在已有环型挡板研究的基础上,提出了X型、Y型、Slat型3类挡板设计.通过二维矩形舱和三维独立C型舱的晃荡模拟,验证了数值模型的准确性,根据3种液位下不同挡板制荡性能的数值预报,选出4种代表性挡板,并对挡板通透率进行了敏感性分析.研究表明:制荡板的安装可以显著降低C型舱所受冲击载荷和纵摇力矩,随着液位的增加,制荡效率先升高后降低,波幅抑制系数逐渐降低.相比于挡板型式,制荡效率和波幅抑制系数受液位高度和通透率的影响更加明显,
为了研究张拉整体基本单元的稳定构型条件,本文用张拉整体基本单元几何参数,杆构件数目p,连接同一节点的杆、斜索的另一端节点序号差j,描述稳定构型中节点位置.分析节点力平衡,获得基本单元稳定构型条件.进一步探讨连接于同一节点的杆、斜索的另一端2个节点处于不同位置时,构件空间几何位置与p、j的关系,获得基本单元稳定构型统一条件.分析获得稳定构型的条件只由杆数目p及连接同一节点的杆、斜索的另一端节点序号差j决定,并计算出稳定构型构件空间位置参数之间的函数关系.
为研究外流场非线性对船体与液舱晃荡耦合运动性能的影响,本文基于势流理论提出一种计算波浪中船体与液舱晃荡耦合的时域混杂法.该方法对外流场的入射波力和静恢复力计算考虑了波浪环境下瞬时湿表面的非线性影响;对于内部流动的液舱晃荡采用时域边界元法,将该舱液面引起的力矩进行修正,实现对规则波不同工况下耦合运动时历的求解.本文以S175为例,对规则波中迎浪与横浪情况下有无航速的载液船舶运动响应进行模拟,并与实验数据对比验证.研究表明:本方法考虑外流场非线性后,能对不同工况下的船体液舱晃荡能给出较好的模拟结果,并且相较线
介绍了某沿海钢厂自备电厂为满足提产后烟气处理及国家最新排放标准需要,对海水烟气脱硫工艺及控制系统实施的扩容改造和优化升级过程.改造后,除雾器冲洗、清洗水箱补水和海水系统二次落网的反洗排污实现了自动控制和远程监控,提高了作业效率,锅炉烟气实现了达标和超低排放,经济效益和环境效益显著.
针对具有非平稳特性的水声信号的分类识别问题,本文对卷积神经网络进行改进,并将改进的CNN网络与小波分解相融合,提出一种水下目标识别算法WAVEDEC_CNN.应用采集的4类湖试数据,对该算法进行验证.实验结果表明:与传统方法MFCC+SVM对比,WAVEDEC_CNN算法可提升正确识别率15.38％;与NO_CNN、WP-DEC_CNN以及EMD_CNN 3种方法对比,WAVEDEC_CNN算法的正确识别率分别提升了4.41％、3.23％、12.81％,同时就计算时间而言,所提出的WAVEDEC_CNN算
为优化废石全尾砂胶结充填料浆的流动特性,本文开展了掺有不同水平梯度聚羧酸减水剂的废石全尾砂充填料浆流变实验.研究结果表明:减水剂掺量为0时,料浆的屈服应力随废尾比的增大呈先减小后增大的趋势,料浆的屈服应力随质量浓度的增大而增大.当减水剂掺量为0.1％～0.5％递增时,减水剂大分子之间的物理堆叠作用使屈服应力的最优表征为逻辑单调递减模型,塑性粘度的最优表征为多项式模型,屈服应力-塑性粘度复合模型求解结果为减水剂掺量0.32％时,屈服应力降低至139.57 Pa,塑性粘度减为0.78 Pa·s.结合管输过程的
为研究水压式潜载垂直发射装置的发射过程,本文建立了一类弹射装置的内弹道数学模型.将环境水介质考虑为弱可压缩流体,基于准一维流动假设和平板间隙流动的动量方程,提出了一种求解瞬态环形缝隙流动的方法,并在此基础上结合弹体动力学、运动学关系,建立了垂直弹射装置的准一维内弹道模型.弹道模型的计算结果与计算流体力学仿真结果相比,具有良好一致性,这表明本文的模型是有效的.同时,本文建立的内弹道数学模型能够可解决已有模型无法求解两端压差较大的瞬态环缝流等问题.