区块链应用开发及其安全验证工具的研究与实现

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

【摘要】

：

由于区块链不可篡改特性,已经部署上线的智能合约代码,将无法修改或升级。一旦智能合约因为自身代码设计产生的问题,导致的智能合约安全漏洞,以致整个区块链应用土崩瓦解,或将产生不可逆转的重大损失。而使用一些代码缺陷检查方法,例如模型检查、静态代码分析等技术,提前发现程序缺陷代码,及时修改问题代码,可起防患于未然的作用。本文基于以太坊区块链平台,以开发安全的去中心的区块链应用作为切入点,对区块链技术原理、

【作者】

：

蔡运壮

【出处】

：

电子科技大学

【发表日期】

：

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

其他文献

基于粗糙集理论的冲模实例特征属性权值确定方法

在简要介绍基于实例推理的冲模设计方法基础上,给出了基于粗糙集的冲模设计实例知识表达系统,然后提出了基于粗糙集理论的冲模实例特征属性约简和权值确定方法,即首先利用粗糙集理论判断实例特征属性的重要度,并将其进行规范化处理,得到各特征属性的权值.该方法可有效地克服传统权值确定方法中对主观经验的过分依赖.最后,以冲压件排料间隙的确定为例,说明了该方法有效性.

期刊

冲模CAD实例推理粗糙集权值stamping die CAD system CBR rough set theory weighting coef

高阶随机非线性系统的控制器设计与稳定性分析

近年来,高阶随机非线性系统的控制设计问题受到越来越多的关注。从系统模型的角度来看,高阶随机非线性系统是已经得到大量研究的严格反馈随机非线性系统的更一般化形式。另外

学位