Formal Modeling of Smart Contract-based Trading System

被引：0
|
作者：
Park, Woong Sub [1 ]
Lee, Hyuk [1 ]
Choi, Jin-Young [1 ]
机构：
[1] Korea Univ, Sch Cybersecur, Seoul 02841, South Korea
来源：
2022 24TH INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION TECHNOLOGY (ICACT): ARITIFLCIAL INTELLIGENCE TECHNOLOGIES TOWARD CYBERSECURITY | 2022年
基金：
新加坡国家研究基金会;
关键词：
Blockchain; Smart Contract; Formal Specification; Formal Verification; Model Checking;
D O I：
暂无
中图分类号：
TN [电子技术、通信技术];
学科分类号：
0809 ;
摘要：
With the development of blockchain technology, the fields of use of smart contracts are diversifying. Blockchain-based smart contracts are suitable in areas where integrity and transparency must be guaranteed with distributed ledger technology as the core. However, once the system is deployed, it cannot be modified, so it is important to ensure that the system works with the requirements and principles of the smart contract at the design stage. Therefore, in this paper, we aim to show that the system is accurate without contradictions/errors through formal verification using UPPAAL, a formal verification tool for the public descending auction system (Dutch Auction).
引用
收藏
页码：48 / +
页数：5
相关论文
共 50 条
  • [31] Research for smart contract-based problem recommendation algorithm
    Min, Youn-A
    Lim, Dong-Kyun
    INTERNATIONAL JOURNAL OF ADVANCED AND APPLIED SCIENCES, 2022, 9 (05): : 75 - 80
  • [32] A review of smart contract-based platforms, applications, and challenges
    Sharma, Pratima
    Jindal, Rajni
    Borah, Malaya Dutta
    CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2023, 26 (01): : 395 - 421
  • [33] Smart contract-based approach for efficient shipment management
    Hasan, Haya
    AlHadhrami, Esra
    AlDhaheri, Alia
    Salah, Khaled
    Jayaraman, Raja
    COMPUTERS & INDUSTRIAL ENGINEERING, 2019, 136 : 149 - 159
  • [34] Smart Contract-Based Access Control for the Internet of Things
    Zhang, Yuanyu
    Kasahara, Shoji
    Shen, Yulong
    Jiang, Xiaohong
    Wan, Jianxiong
    IEEE INTERNET OF THINGS JOURNAL, 2019, 6 (02): : 1594 - 1605
  • [35] A review of smart contract-based platforms, applications, and challenges
    Pratima Sharma
    Rajni Jindal
    Malaya Dutta Borah
    Cluster Computing, 2023, 26 : 395 - 421
  • [36] Smart Contract-Based Access Control for the Vehicular Networks
    Kchaou, Amira
    Ayed, Samiha
    Abassi, Ryma
    El Fatmi, Sihem Guemara
    2020 28TH INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), 2020, : 264 - 269
  • [37] A Smart Contract-Based Access Control Framework For Smart Healthcare Systems
    Abid, Amal
    Cheikhrouhou, Saoussen
    Kallel, Slim
    Tari, Zahir
    Jmaiel, Mohamed
    COMPUTER JOURNAL, 2024, 67 (02): : 407 - 422
  • [38] ET-DeaL: A P2P Smart Contract-based Secure Energy Trading Scheme for Smart Grid Systems
    Kumari, Aparna
    Shukla, Arpit
    Gupta, Rajesh
    Tanwar, Sudeep
    Tyagi, Sudhanshu
    Kumar, Neeraj
    IEEE INFOCOM 2020 - IEEE CONFERENCE ON COMPUTER COMMUNICATIONS WORKSHOPS (INFOCOM WKSHPS), 2020, : 1051 - 1056
  • [39] A Contract-Based Incentive Mechanism for Resources Trading in Computing Force Networks
    Wen, Wen
    Lu, Lu
    Wang, Wenzheng
    Fu, Yuexia
    Tang, Qinqin
    Xie, Renchao
    Huang, Tao
    IEEE CONFERENCE ON GLOBAL COMMUNICATIONS, GLOBECOM, 2023, : 5506 - 5511
  • [40] POSTER: Smart Contract-based Miner Registration and Block Validation
    Zhang, Shijie
    Lee, Jong-Hyouk
    PROCEEDINGS OF THE 2019 ACM ASIA CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (ASIACCS '19), 2019, : 691 - 693
12345