【摘 要】
：
智能合约是运行在区块链上的程序,具有去中心化、不可篡改的特性,被广泛应用于金融、能源、物联网等多个领域。然而智能合约一旦实际部署到实时网络上就不能对其更改,在保证
【机 构】
：
河南大学软件学院,北京理工大学网络空间安全学院,北京理工大学网络空间安全学院,华北电力大学控制与计算机工程学院
论文部分内容阅读
智能合约是运行在区块链上的程序,具有去中心化、不可篡改的特性,被广泛应用于金融、能源、物联网等多个领域。然而智能合约一旦实际部署到实时网络上就不能对其更改,在保证合约安全的同时,缺陷和错误也不能通过修改合约代码得以解决,从而导致重大的安全事故。因此合约实际部署前对其进行安全测试已经成为迫切需要解决的问题。介绍了因智能合约漏洞引起的安全事件,对常见的合约漏洞进行详细分析,完成对已有合约分析工具的总结,体现了合约安全问题的研究发展现状。
其他文献
以“1+X”证书制度为契机,抓住职业技能考证与专业课程教学相融通、技能实训教学与产业岗位要求相融合这两个着力点,探索高职院校土建类专业职教改革。
在“1+X”(BIM)证书制度下,证书试点院校要将证书培训内容有机融入专业人才培养方案,深化教学方式方法改革。针对建筑工程技术专业建筑结构课程的教学现状,从课程教学内容、
瓦楞辊机构在瓦楞纸板成型过程中,由于瓦楞辊的非共轭齿廓的齿形特点使得其辊间中心距不停的变动。中心距位移变动是变加速度运动,产生的冲击会引起震动噪声,同时使得瓦楞纸
基于高职公共英语课程思政实践中存在的课程思政动力不足、教材不够、评价困难、管理机制不成熟等主要问题,给出了增强思政意识、勇于思政实践担当、丰富思政教育资源、完善
借鉴新制度主义经济学中交易成本理论,对南京市推行的“时间银行”养老服务政策进行分析,从政策过程和参与主体入手,对该政策制定执行中存在的交易成本进行剖析,认为信息成本
基于人体工效学,结合婴儿的生理特征、生理需求及护理人的需求,从整体造型结构设计、细部结构设计、面辅料选用、服装工艺等方面对婴儿内衣设计的各方面要点进行阐述,设计适
基本建设是国民经济的基础,也是反映综合国力的范畴之一.本文从招投标监督、工程管理监督、工程造价审计监督、工程质量监督及工程结算管理监督等多方面对加强基建工程的管理
新冠疫情给我国社会的公共卫生带来了巨大的负面影响,为此运用访谈、问卷调查、数理统计等方法,对新冠疫情下高职院校学生的体育意识、体育行为进行研究。结论是,高职学生的