检索结果-南通市图书馆

检索条件"主题词=Remix IDE"

共 1 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

基于智能合约的系统形式化分析与验证技术研究

基于智能合约的系统形式化分析与验证技术研究

引用

作者： BEKELE BEHAYLU SHIFERAW 兰州理工大学

学位级别：硕士

在传统金融系统中,需要一个可信任的中间机构处理网络上价值交易,这种传统机制存在各种问题。第一个问题是这种机制需要长的交易时间,另一个问题是这中机制会导致高额的交易费用。为了解决这些问题,2008年提出了去中心化区块链平台。区... 详细信息

在传统金融系统中,需要一个可信任的中间机构处理网络上价值交易,这种传统机制存在各种问题。第一个问题是这种机制需要长的交易时间,另一个问题是这中机制会导致高额的交易费用。为了解决这些问题,2008年提出了去中心化区块链平台。区块链技术最重要的特性之一是能够在互不信任的各方之间进行通信,而无需依赖受信任的第三方实体,这种通信可以通过使用智能合约来实现。智能合约是运行在区块链上的图灵完备程序,但是智能合约的设计有两个关键问题,其一是智能合约通常运行在一个高度脆弱的分布式和无许可网络上,智能合约中的漏洞是一种重要的安全问题形式,这些漏洞允许攻击者从合约中提取货币。第二个问题是智能合约部署到去中心化的区块链网络上后无法更改或升级,这是众所周知智的能合约的不可篡改特征。由于这两个问题,智能合约在部署到区块链网络之前必须是正确和安全的,因此,应检查和验证基于智能合约的区块链应用程序,以确保智能合约实施的正确性、安全性和可靠性。本论文首先研究了以太坊中智能合约中的安全漏洞;其次,调查了现有的智能合约形式验证方法;最后,使用remix ide工具验证和测试了ERC20智能合约,并说明了该工具如何通过调整调用方法的gas限制来解决重入问题,并展示它如何检测未验证调用和时间戳依赖性等漏洞。

关键词：区块链智能合约以太坊以太坊虚拟机 remix ide

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

全选清除本页清除全部题录导出标记到“检索档案”

共1页 << < 1 > >>

回到顶部

执行限定条件

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：