|国家科技期刊平台
| 注册
首页|期刊导航|计算机技术与发展|以太坊智能合约安全形式化验证方法研究进展

以太坊智能合约安全形式化验证方法研究进展

王赫彬 郑长友 黄松 孙金磊 丁一先

计算机技术与发展2021，Vol.31Issue(9)：104-111,8.
✕
计算机技术与发展2021，Vol.31Issue(9)：104-111,8.DOI:10.3969/j.issn.1673-629X.2021.09.018

以太坊智能合约安全形式化验证方法研究进展

Review:Secure Formal Verification Methods for Ethereum Smart Contracts

王赫彬 1郑长友 2黄松 2孙金磊 1丁一先3

作者信息

  • 1. 中国人民解放军陆军工程大学 指挥控制工程学院,江苏 南京 210007
  • 2. 中国人民解放军陆军工程大学 全军军事训练软件测评中心,江苏 南京 210007
  • 3. 辽宁工程技术大学,辽宁 阜新 123000
  • 折叠

摘要

关键词

以太坊/智能合约/形式化验证/定理证明/模型检测

分类

信息技术与安全科学

引用本文复制引用

王赫彬,郑长友,黄松,孙金磊,丁一先..以太坊智能合约安全形式化验证方法研究进展[J].计算机技术与发展,2021,31(9):104-111,8.

基金项目

国家重点研发计划重点专项项目(2018YFB1403400) （2018YFB1403400）

计算机技术与发展

OACSTPCD

1673-629X

访问量0
|
下载量0
段落导航相关论文