您当前的位置：
首页 >
文章列表页 >
智能合约的形式化验证方法研究综述
智能合约的形式化验证方法研究综述
Review on Formal Verification of Smart Contract
- 电子学报 2021年49卷第4期 页码：792-804
DOI： 10.12263/DZXB.20200723
移动端阅览
HTML全文
参考文献
出版信息
数据统计
48
浏览量
108
下载量
15
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
区块链赋能可信数据空间安全的研究进展
基于区块链的分层联邦学习系统
TokenVis：面向以太坊区块链ERC-20智能合约演变模式的可视分析方法
云际分布记账模型、机理与关键技术展望
基于代理重加密的区块链数据受控共享方案
相关作者
尚思远
杜学绘
刘敖迪
王潇涵
吴翔宇
王娜
胡荣磊
刘思惠
相关机构
信息工程大学密码工程学院
河南省信息安全重点实验室
北京电子科技学院电子与通信工程系
北京理工大学计算机学院
复旦大学大数据学院
