【摘 要】
：
智能合约是运行在区块链上的程序,具有去中心化、不可篡改的特性,被广泛应用于金融、能源、物联网等多个领域.然而智能合约一旦实际部署到实时网络上就不能对其更改,在保证合
【机 构】
：
河南大学 软件学院,河南 开封 475000;北京理工大学 网络空间安全学院,北京 100081
论文部分内容阅读
智能合约是运行在区块链上的程序,具有去中心化、不可篡改的特性,被广泛应用于金融、能源、物联网等多个领域.然而智能合约一旦实际部署到实时网络上就不能对其更改,在保证合约安全的同时,缺陷和错误也不能通过修改合约代码得以解决,从而导致重大的安全事故.因此合约实际部署前对其进行安全测试已经成为迫切需要解决的问题.介绍了因智能合约漏洞引起的安全事件,对常见的合约漏洞进行详细分析,完成对已有合约分析工具的总结,体现了合约安全问题的研究发展现状.
其他文献
对90 nm PDSOI MOSFET的热阻进行了提取与研究.以H型栅MOSFET为研究对象,将源体二极管作为温度敏感器,通过测量源体结电流与器件温度的关系以及源体结电流与器件功率的关系,
耦合式MEMS微波功率传感器的集总参数模型可用于分析并计算器件的微波特性,是设计传感器相关结构尺寸的重要参考依据.针对目前传感器日益复杂化的阻抗匹配结构,对现有的集总
采用仿Solvay氨碱法,以白云石为起始原料,在碱性环境下制备出高球霰石含量的碳酸钙.XRD和SEM表征结果显示,碳化温度为20～40℃时的产品为球霰石;40～60℃时的产品为方解石;60～90℃
根据MEMS光栅陀螺工作原理,对陀螺结构仿真,并进行了晶圆级陀螺制造.在ANSYS中建立陀螺结构模型,并进行仿真分析.仿真结果显示,其驱动模态为7 287 Hz,检测模态为7 288 Hz,频
为解决生活垃圾分类难的问题,文中基于FPGA硬件平台设计了一套智能语音垃圾箱。用户只需对垃圾箱说出垃圾名称,垃圾箱就会自动打开对应类别的垃圾收集腔。系统通过WM8978芯片和麦克风采集语音信号,然后对其进行特征提取。事先通过MATLAB软件为每个垃圾名称训练模版,存储在ROM中。将输入语音的特征与模版进行匹配,基于匹配结果将垃圾归到对应类别,最后控制舵机打开对应的收集腔门。
【摘要】这些年，社会经济的持续发展使得广播电视技术亦随之得到了较好的成长，与此同时高清制作业务方面的需要也实现了明显个提升。而以广播电视中心来看，不管是节目制作播出，还是节目的传输，先前的相关技术已无法符合现实的需要。对相应的基础架构进行IP化，从而促使IP和SDI技术实现相当程度的融合，这是大势所趋。基于此，本文展开里的相关的分析，展开了关于SDI与IP混合系统方面的分析，且以某广播电视台为例，
“十四五”规划和2035年远景目标纲要对“加快发展现代产业体系,巩固壮大实体经济根基”作出重要部署,把深入实施制造强国战略、发展壮大战略性新兴产业、促进服务业繁荣发展
【摘要】在新的数字浪潮下，新技术的不断应用给健康传播带来了机遇和挑战。本文从数字鸿沟的视角出发，从接入沟、使用沟、内容沟和权利沟四个方面分析了老年群体健康传播的数字困境，并探讨阻碍其健康传播的原因，提出维护合理权利、树立朋辈模范、构建三方生态等的应对策略，以期推动健康老龄化社会的实现。 【关键词】老年化;健康传播;数字鸿沟;健康中国 【基金项目】本文为湖南省大学生研究性学习和创新性实验计划项目
2021年喷墨打印四大趋势值得关注即使是现在的大流行也无法阻止喷墨打印技术的进步。到2021年,又将会有一些令人兴奋的发展,这些发展必将推动打印领域向前迈进。喷墨技术的发