您当前的位置：
首页 >
文章列表页 >
一种基于形式化验证的智能合约垄断行为检测方法
计算机软件与理论 | 更新时间：2025-05-21

    • 一种基于形式化验证的智能合约垄断行为检测方法

    • A Monopoly Behavior Detection Method of Smart Contract Based on Formal Verification

    • “智能合约垄断行为检测方法，为数字经济监管提供新思路。”
    • 软件导刊   2025年24卷第5期 页码：115-121

    • DOI：10.11907/rjdk.241908    

      中图分类号： TP311

    • 收稿日期：2024-10-28，

      纸质出版日期：2025-05-15

    移动端阅览

  • 宋茂源.一种基于形式化验证的智能合约垄断行为检测方法[J].软件导刊,2025,24(05):115-121. DOI： 10.11907/rjdk.241908.

    SONG Maoyuan.A Monopoly Behavior Detection Method of Smart Contract Based on Formal Verification[J].Software Guide,2025,24(05):115-121. DOI： 10.11907/rjdk.241908.

  •  
  •  

0

浏览量

0

下载量

0

CSCD

文章被引用时，请邮件提醒。
提交
工具集
下载
参考文献导出
分享
收藏
添加至我的专辑

相关文章

基于中间表示的智能合约漏洞检测工具推荐方法
基于区块链技术的冷鲜牛肉溯源系统设计与实现
一种基于区块链的可信溯源应用
一种基于投票机制的黑名单公有链解决方案
一种基于区块链的可信密封拍卖方案

相关作者

张大龙
张玉斌
聂志刚
他维忠
沈苏彬
张晓宇
张伟
陈云芳

相关机构

甘肃农业大学 食品科学与工程学院
甘肃农业大学 信息科学技术学院
南京邮电大学 通信与网络技术国家工程研究中心
南京邮电大学 物联网学院
南京邮电大学 计算机学院、软件学院、网络空间安全学院
0