基于以太坊智能合约的形式化验证技术研究与实现

来源 :电子科技大学 | 被引量 : 0次 | 上传用户：lw10251

【摘要】

：

随着以太坊的蓬勃发展,智能合约作为以太坊区块链的核心,其安全性逐渐受到大众的重视。但应用场景的逐渐丰富,使得智能合约的代码量和复杂度也逐步递增。这使得测试或者人工分析这类传统的安全审计方法无法满足当前智能合约开发过程中的安全需求。形式化验证以数学理论为基础被大众认可为最为可靠的安全验证方法并且广泛的被运用在计算机的软硬件安全领域中。本文采用形式化验证中的定理证明方法对智能合约的合约代码分别从源代码

【作者】

：

方言

【出处】

：

电子科技大学

【发表日期】

：

2020年01期

【关键词】

：

以太坊智能合约形式化验证定理证明

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield Buddy revenge - back to Japan E back. “Back once again.” Back to the dried meat in the magic N_. NH lP7-ewwe - “a” $ MN.W; - __._ - ------ "anvil called] feather production: Chen Tian

其他文献

火力发电厂如何提升继电保护运行可靠性探讨

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield

期刊

火力发电厂继电保护运行可靠性

浅析人为什么要有道德

本文以马克思主义道德观为指导,通过分析道德的含义及人类生存发展与道德的关系、社会与道德的关系,阐述了“人为什么要有道德”这一问题.认为,人的生存发展需要道德,社会的

期刊

道德个人社会意义

初中质量概念的高端备课

系统梳理并深入分析了初中质量概念教学,针对教材编写中存在的问题重新展开设计,通过指出质量的“可测性”、明确质量的“规定性”、强调测量的“比较性”三个逻辑环节,在逐

期刊

初中物理物理教学教学设计质量概念

新文化等级化·传承与创新——中国非物质文化遗产保护的成就与挑战以及韩国在未来国际合作中的角色

从学术观察和反思的视角出发,以中国非物质文化遗产保护取得的成就以及目前面临的挑战为立足点,我们可以对韩国以及世界其他国家的未来非遗保护工作提出建议和希望。新文化等

期刊

非物质文化遗产新文化等级化传承创新挑战

大学毕业,缘何回乡“务农”——新农人苏博和尚晓良的心路历程

<正>大学生回乡搞农业,在当前农业发展前景光明、价值观念多元发展、惠农政策力度日益加大的情势下,不算是件稀奇事。可能最能吸引社会大众目光的是,这群'80后'、&#3

期刊

新农人心路历程工厂化育苗南街村

企业集团内部转移价格的制定策略与分析

企业集团内部转移价格是指企业集团内部各责任中心之间互相提供产品或服务等协作时，涉及到内部资源转移发生相互结算、转账所需的计价标准。内部转移价格服务于企业集团的总体

期刊

内部转移价格总体战略目标外部市场环境制定策略

中国双顺差问题研究

自上世纪90年代起，中国就一直保持着经常项目和资本和金融项目的“双顺差”格局。特别是进入新世纪以来，双顺差规模出现迅速扩大的趋势。在一般情况下，一个国家的国际收支要么是

学位

经常项目顺差资本和金融项目顺差双顺差

基于以太坊智能合约的形式化验证技术研究与实现

其他学术论文