基于SmartVerif的比特币底层协议算力盗取漏洞发现

著录项

• 来源
  《电子学报》 |2021年第12期|2390-2398|共9页
• 作者

  包象琳; 熊焰; 黄文超; 陈凯杰; 汪万森; 孟昭逸; 徐晓峰; 方贤进;

  展开▼
• 作者单位

  安徽工程大学计算机与信息学院 安徽芜湖241000;

  中国科学技术大学计算机科学与技术学院 安徽合肥230026;

  中国科学技术大学计算机科学与技术学院 安徽合肥230026;

  中国科学技术大学计算机科学与技术学院 安徽合肥230026;

  中国科学技术大学计算机科学与技术学院 安徽合肥230026;

  中国科学技术大学计算机科学与技术学院 安徽合肥230026;

  中国科学技术大学计算机科学与技术学院 安徽合肥230026;

  安徽工程大学计算机与信息学院 安徽芜湖241000;

  安徽理工大学计算机科学与工程学院 安徽淮南232001;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 安全保密;
• 关键词

  比特币; 区块链; 协议安全; 符号模型; 形式化分析;