以太坊智能合约定理证明中的形式化规约研究综述

华景煜; 黄达明

首页> 中文期刊> 《信息网络安全》 >以太坊智能合约定理证明中的形式化规约研究综述

以太坊智能合约定理证明中的形式化规约研究综述

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

以太坊智能合约的形式化验证是目前的研究热点,在各种形式化验证方法中,定理证明方法具有误报少、可以处理大状态空间等优点。定理证明需要强大的形式化规约表达能力作为基础。文章对现有以太坊智能合约的定理证明研究中使用的形式化规约表达方法进行综述,从智能合约开发语言和区块链内生语义的建模、智能合约安全属性和功能属性的形式化规约表达、自动定理证明和交互式定理证明的选择等角度对形式化规约方法进行比较和讨论,并指出目前的困难和未来的研究方向。

著录项

来源
《信息网络安全》 |2022年第5期|11-20|共10页
作者
华景煜; 黄达明;
展开▼
作者单位

南京大学计算机科学与技术系;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
以太坊; 智能合约; 形式化规约; 形式化验证; 定理证明;

相似文献

中文文献
外文文献
专利

1. 以太坊智能合约安全形式化验证方法研究进展 [J] . 王赫彬 ,郑长友 ,黄松 . 计算机技术与发展 . 2021,第009期
2. 以太坊Solidity智能合约漏洞检测方法综述 [J] . 张潆藜 ,马佳利 ,刘子昂 . 计算机科学 . 2022,第3期
3. 基于以太坊智能合约的知识产权管理模式研究 [J] . 张海强 ,杜荣 ,艾时钟 . 科技管理研究 . 2021,第015期
4. 基于以太坊智能合约的密封式区块链拍卖可信方案的研究 [J] . 杨杰 ,孙钰 ,刘峰 . 计算机科学与应用 . 2020,第005期
5. 融合IPFS与以太坊的爬虫智能合约研究 [J] . 陈杰 ,张再跃 ,张晓如 . 软件导刊 . 2020,第003期
6. 区块链智能合约漏洞分析研究进展 [C] . XIN Wei ,辛伟 ,ZHANG Tao . 第十届信息安全漏洞分析与风险评估大会 . 2017
7. 基于操作语义的以太坊智能合约形式化描述研究 [A] . 张冉 . 2021

以太坊智能合约定理证明中的形式化规约研究综述

摘要

著录项

相似文献

相关主题

期刊订阅